|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object ER.ER
public abstract class ER
(Super)clase abstracta para la implementacion de Expresiones Regulares (ER).
Para su implementacion se ha hecho uso del patron composicion. Su
especificacion como string se explica en parserER.parse(String)
.
Constructor Summary | |
---|---|
ER()
Constructor vacio |
Method Summary | |
---|---|
static ER |
loadER()
Carga y crea una ER a partir de su descripcion almacenada en un fichero de texto. |
static ER |
loadER(java.lang.String path)
Carga una GIC a partir de su descripcion almacenada en un fichero de texto. |
protected Estado |
nextQ(Int qId)
Metodo auxiliar para la crea un estado con el identificador dado por un Int
qId e incrementa ese qId de cara a futuras llamadas. |
void |
saveER()
Almacena en un fichero de texto la representacion en formato string de la ER. |
void |
saveER(java.lang.String path)
Almacena en un fichero de texto la representacion en formato string de la ER |
AF |
toAF()
Devuelve el automata finito asociado a la expresion regular. |
protected abstract AF |
toAF(Int freeId)
Devuelve el automata finito asociado a la expresion regular. |
abstract java.lang.String |
toString()
Metodo abstracto a implementar por la subclases que devolvera la representacion de la expresion regular en formato string |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ER()
Method Detail |
---|
public abstract java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public static ER loadER(java.lang.String path) throws java.io.IOException, G_Exception, ParseException
path
- Path completo al archivo a procesar
java.io.IOException
G_Exception
ParseException
public static ER loadER() throws java.io.IOException, G_Exception, ParseException
java.io.IOException
G_Exception
ParseException
public void saveER(java.lang.String path) throws java.io.IOException
java.io.IOException
public void saveER() throws java.io.IOException
java.io.IOException
protected Estado nextQ(Int qId) throws AF_Exception
Int
qId
e incrementa ese qId
de cara a futuras llamadas.
qId
- Encapsula el identificador para el estado
qId
)
AF_Exception
public AF toAF() throws AF_Exception, G_Exception
AF_Exception
G_Exception
protected abstract AF toAF(Int freeId) throws AF_Exception, G_Exception
freeId
- Primer identificador de estado libre.
AF_Exception
G_Exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |