Package entorno

Interface Summary
MaudeEditorConstantes Funcion: Almacena todos los strings que contienen el texto visualizado en el entorno
 

Class Summary
BarraEstado Funcion: Implementa la barra de estado de Maude WorkStation
CImprimir Permite realizar la impresion de un documento por la impresora Esta clase esta basada en la clase ejemplo Print de Andrew Weiland's en http://www.wam.umd.edu/~aweiland/Print.java.
ClaseBarraHerramientas Funcion: Crea la barra de herramientas superior de nuestro entorno
ClaseBarraMenu Funcion: Crea la barra del menu de nuestro entorno
ClaseTexto Funcion: Crea un JTextPane en nuestro entorno que contendrá el texto de nuestras especificaciones
Dialogos Funcion: Esta clase no hace nada Se utiliza para dar nombre a este fichero, con el fin de mantener organizados todas las clases que implementan dialogos en un solo fichero.
Entorno Funcion: Es nuestro panel principal
EventosPortapapeles Funcion: Gestiona los eventos producidos por el cortar, copiar y pegar.
EventosRatonPopup Funcion: Controla el pulsado del raton sobre el area de texto Permite mostrar el menu emergente
MenuEmergente Funcion: Implementa el menu emergente
MyMouseDescripcion Funcion: Controla el evento de pasar el raton por cada opcion de los menuBar o la barra de herramienas.
MyUndoableEditListener Funcion: Se encarga de detectar y guardar los cambios producidos sobre el área de texto El salvado de los cambios nos servira para deshacerlos o rehacerlos
ReconocerSintaxis Funcion: Proporciona métodos para introducir texto con la sintaxis realzada en un área de texto o realzar la sintaxis de ésta.
ReconocerSintaxis.MiTareaAnalisis Funcion: Realiza el realzado de la sintaxis mientras la ventana principal permanece bloqueada
VentanaAyuda Funcion: Implementa la herramienta Maudeler Help Permite crear un una ventana de ayuda con distintas secciones: Ayuda sobre Maude, Ayuda sobre el Editor.
 

Exception Summary
MaudeException Funcion: Muestra un cuadro de diálogo con la excepcion producida y devuelve el error por la consola de comandos