|
Class Summary |
| ClaseDialogoMostrar |
Funcion: Crea la ventana de diálogo en donde podremos obtener de la base de datos toda la información almacenada en ella |
| ClaseModulosOperadores |
Funcion: almacenar la base de datos de Maude localmente |
| ClaseSubBarraHerramientas |
Funcion: Crea la barra de herramientas inferior de nuestro entorno |
| ClaseVentanaLog |
Funcion: Encargada de ejecutar el emulador con el que podremos interactuar con Maude |
| nodoIEP |
Clase: nodoIEP
Funcion: Clasifica el nodo segun sea including, protecting o extending |
| nodoMODULO |
Funcion: clasifica el modulo segun sea predefinido, definicion de full maude, ... |
| nodoOPERS |
|