|
Class Summary |
| ClaseDepurador |
Clase: ClaseDepurador
Funcion: Establece un panel lateral al entorno para poder realizar la depuración con Maude |
| ClaseDialogoReescritura |
Clase: ClaseDialogoReescritura
Funcion: Crea un dialogo con el que podemos enviar comandos de reescritura a Maude |
| ClaseTraza |
Clase: ClaseTraza
Funcion: Establece un panel lateral al entorno para poder realizar la traza con Maude |
| DialogoEleccion |
Clase: DialogoEleccion
Funcion: muestra una ventana con una lista de operadores en el que el usuario debera de
seleccionar los operadores con los que se desea seguir la traza
Funcion2: muestra una ventana con una lista de modulos en el que el usuario debera de
seleccionar los modulos a sequir en la traza |
| ItemHistorico |
Clase: ItemHistorico
Funcion: Usada para almacenar un historico de las reducciones efectuadas a cabo |