A B C D E F G H I J K L M N O P Q R S T U V W

A

ADD_EDGE - Variable in class entorno.grafo.DrawingArea
 
ADD_NODE - Variable in class entorno.grafo.DrawingArea
 
ARCHIVO_ACCION_CLOSE - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_CLOSE_ALL - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_CLOSE_ALL_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_CLOSE_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_EXIT - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_EXIT_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_NEW - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_NEW_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_OPEN - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_OPEN_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_PAGE_SETUP - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_PAGE_SETUP_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_PRINT - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_PRINT_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_SAVE - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_SAVE_AS - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_SAVE_AS_E - Static variable in interface entorno.MaudeEditorConstantes
 
ARCHIVO_ACCION_SAVE_E - Static variable in interface entorno.MaudeEditorConstantes
 
AREA_EDITOR - Static variable in interface entorno.MaudeEditorConstantes
 
AREA_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
AZUL - Static variable in class entorno.emulador.ClaseVentanaLog
 
AbrirAccion() - Method in class entorno.Entorno
Abre un fichero en el Editor abriendo una ventana de diálogo donde el usuario elige el fichero.
AcercadeEditorMaudeAccion() - Method in class entorno.Entorno
Abre un cuadro de diálogo mostrando información de la aplicación Maude Workstation.
ActualizarBaseDeDatosAccion(String, boolean, boolean, boolean, boolean) - Method in class entorno.Entorno
Procedimiento que actualiza la base de datos
AnadirEventosDescripcion() - Method in class entorno.ClaseBarraHerramientas
Agnade el controlador de eventos para mostrar en la barra de estado la descripcion de la accion realizada por cada opcion
AnadirEventosDescripcion() - Method in class entorno.ClaseBarraMenu
Agnade el controlador de eventos para mostrar en la barra de estado la descripcion de la accion realizada por cada opcion
AnadirEventosDescripcion() - Method in class entorno.emulador.ClaseSubBarraHerramientas
Agnade el controlador de eventos para mostrar en la barra de estado la descripcion de la accion realizada por cada opcion
AyudaAccion() - Method in class entorno.Entorno
Muestra la ventana de ayuda del entorno.
aCom - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
abrirMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
abrirPor(int) - Method in class entorno.VentanaAyuda
Abre la ventana de ayuda por la seccion indicada
accept(File) - Method in class entorno.Entorno.ImageFilter
Acepta ficheros .maude
accept(File) - Method in class entorno.Entorno.ImageFilterFull
Acepta ficheros fm
acercadeMenuItem - Variable in class entorno.ClaseBarraMenu
menu ayuda
actionPerformed(ActionEvent) - Method in class entorno.ClaseBarraHerramientas
 
actionPerformed(ActionEvent) - Method in class entorno.ClaseBarraMenu
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.ConfigInterfaz.MyColorAction
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.ConfigInterfaz.PanelColores.MyActionListener
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.ConfigInterfaz
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.DialogoBarraEspera
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.DialogoBusqueda.EventosDialogoBuscar
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.DialogoLinea.EventosDialogoIr
 
actionPerformed(ActionEvent) - Method in class entorno.Dialogos.DialogoReemplazar.EventosDialogoBuscar
 
actionPerformed(ActionEvent) - Method in class entorno.EventosPortapapeles
 
actionPerformed(ActionEvent) - Method in class entorno.MenuEmergente
 
actionPerformed(ActionEvent) - Method in class entorno.debugger.ClaseDepurador
 
actionPerformed(ActionEvent) - Method in class entorno.debugger.ClaseDialogoReescritura
 
actionPerformed(ActionEvent) - Method in class entorno.debugger.ClaseTraza
 
actionPerformed(ActionEvent) - Method in class entorno.debugger.DialogoEleccion.UpdatePrefixListAction
 
actionPerformed(ActionEvent) - Method in class entorno.debugger.DialogoEleccion
 
actionPerformed(ActionEvent) - Method in class entorno.emulador.ClaseDialogoMostrar
 
actionPerformed(ActionEvent) - Method in class entorno.emulador.ClaseSubBarraHerramientas
 
actionPerformed(ActionEvent) - Method in class entorno.grafo.GraphGUI
Acciones del menu
activarDepurador() - Method in class entorno.debugger.ClaseDepurador
activa el depurador
actualizaDesdeVectores(AbstractList[]) - Static method in class entorno.Entorno
Actualiza la tabla hash estiloPalabra a partir de un vector que contiene vectores de palabras reservadas para el coloreado
actualizarColores() - Method in class entorno.Dialogos.ConfigInterfaz
 
actualizarDepurador() - Method in class entorno.debugger.ClaseDepurador
segun sea core o full maude, actualizamos el panel del depurador convenientemente
actualizarDocumentos(Entorno, boolean, boolean) - Static method in class entorno.ReconocerSintaxis
Actualiza el realzado o no realzado de la sintaxis de los documentos abiertos
actualizarEntornoServidor() - Method in class entorno.Dialogos.ConfigInterfaz
 
actualizarLaBaseDeDatos(boolean) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
metodo que se encarga de actualizar la base de datos con los módulos insertados
actualizarLineaPrompt() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Establece lineaPrompt al final del texto.
actualizarNodosGrafo(Graph, Set) - Method in class entorno.emulador.ClaseVentanaLog
actualiza los nodos de un grafo
actualizarNodosGrafoTipo(Graph, Set) - Method in class entorno.emulador.ClaseVentanaLog
Actualiza los nodos del grafo de tipos o clases de un modulo concreto
actualizarNodosSelecc(Point) - Method in class entorno.grafo.DrawingArea
 
actualizarPaths() - Method in class entorno.Dialogos.ConfigInterfaz
Actualiza la configuración de los paths para desactivarlo cuando estamos usando Maude
actualizarPreferenciasAvanzado() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
actualizarSubtoolBar() - Method in class entorno.emulador.ClaseModulosOperadores
Actualiza el menu desplegable de la barra del emulador
actualizarUndoRedo() - Method in class entorno.ClaseTexto
 
addDatosEtiquetasModulos() - Method in class entorno.debugger.DialogoEleccion
añade las etiquetas del modulo actual
addDatosEtiquetasModulosRecursivo(String) - Method in class entorno.debugger.DialogoEleccion
 
addDatosModulos() - Method in class entorno.debugger.DialogoEleccion
añade los modulos de la base de datos clasificados
addDatosOperadoresModulos() - Method in class entorno.debugger.DialogoEleccion
añade los operadores del modulo actual
addDatosOperadoresModulosRecursivo(String) - Method in class entorno.debugger.DialogoEleccion
 
addEdge(Graph.Node, Graph.Node) - Method in class entorno.grafo.DrawingArea
Añade una arista al Grafo n1 : nodo comienzo n2 : nodo final Devuelve true si la arista se ha añadido bien
addEdge(String, String, Color) - Method in class entorno.grafo.Graph
Añade una arista entre 2 nodos por los nombres dados
addEdge(Graph.Node, Graph.Node, Color) - Method in class entorno.grafo.Graph
Añade una arista entre 2 nodos dados
addEdge(String, String, float) - Method in class entorno.grafo.Graph
Añade una arista con peso
addEdge(Graph.Node, Graph.Node, float) - Method in class entorno.grafo.Graph
Añade una arista con peso
addEtiquetas(String, Set) - Method in class entorno.debugger.DialogoEleccion
 
addNode(Point) - Method in class entorno.grafo.DrawingArea
Añade un nodo al grafo Devuelve true si el nodo se ha añadido bien
addNode(String, Point, float, Color, boolean, boolean) - Method in class entorno.grafo.Graph
Añade un nodo al grafo
addOperadores(String, Set) - Method in class entorno.debugger.DialogoEleccion
 
adjacent(Graph.Node, Graph.Node) - Method in class entorno.grafo.Graph
Comprueba que existe una arista entre 2 nodos
anadirArista(String, String, Color) - Method in class entorno.grafo.Graph
añade una arista sin peso y con color al grafo dirigido
anadirEtiqueta(String, String) - Method in class entorno.debugger.DialogoEleccion
Añade una etiqueta a este dialogo Nota: suponemos que se añaden sin seleccionar por lo que no se envia msje a maude
anadirEventos() - Method in class entorno.Dialogos.ConfigInterfaz.PanelColores
Permite agnadir los controladores de eventos
anadirEventos() - Method in class entorno.Dialogos.DialogoBusqueda
Agnade los controladores de eventos
anadirEventos() - Method in class entorno.Dialogos.DialogoLinea
Agnade los controladores de eventos
anadirEventos() - Method in class entorno.Dialogos.DialogoReemplazar
Permite agnadir los controladores de eventos
anadirModulo(String) - Method in class entorno.debugger.DialogoEleccion
añade un modulo a este dialogo Nota:suponemos que se añaden los modulos sin seleccionar por lo que no se envia msje a maude
anadirNodo(String, Point, Color, boolean, boolean) - Method in class entorno.grafo.Graph
Añade un nodo sin peso al grafo dirigido
anadirOperador(String, String, String) - Method in class entorno.debugger.DialogoEleccion
añade un operador a este dialogo Nota: suponemos que se añaden sin seleccionar por lo que no se envia msje a maude
antesColores - Variable in class entorno.Dialogos.ConfigInterfaz
 
archivoMenu - Variable in class entorno.ClaseBarraMenu
 
areaTexto - Variable in class entorno.Dialogos.DialogoBusqueda
 
areaTexto - Variable in class entorno.Dialogos.DialogoReemplazar
 
atributo - Static variable in class entorno.Entorno
Atributo para las palabras
attrs - Variable in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
ayudaMaude2MenuItem - Variable in class entorno.ClaseBarraMenu
menu ayuda
ayudaMenu - Variable in class entorno.ClaseBarraMenu
 
ayudaPath - Static variable in class entorno.Entorno
Ruta donde se encuentra la documentacion de Maude
ayudaWorkMenuItem - Variable in class entorno.ClaseBarraMenu
menu ayuda
añadirNuevaPalabra() - Method in class entorno.Dialogos.ConfigInterfaz
 

B

BUSCAR_ACCION_FIND - Static variable in interface entorno.MaudeEditorConstantes
 
BUSCAR_ACCION_FIND_E - Static variable in interface entorno.MaudeEditorConstantes
 
BUSCAR_ACCION_GO_LINE - Static variable in interface entorno.MaudeEditorConstantes
 
BUSCAR_ACCION_GO_LINE_E - Static variable in interface entorno.MaudeEditorConstantes
 
BUSCAR_ACCION_REPLACE - Static variable in interface entorno.MaudeEditorConstantes
 
BUSCAR_ACCION_REPLACE_E - Static variable in interface entorno.MaudeEditorConstantes
 
BarraEstado - class entorno.BarraEstado.
Funcion: Implementa la barra de estado de Maude WorkStation
BarraEstado(Entorno) - Constructor for class entorno.BarraEstado
Constructor
BuscarAccion() - Method in class entorno.Entorno
Busca un texto en la ventana activa abriendo un cuadro de diálogo (DialogoBusqueda).
bAbort - Variable in class entorno.debugger.ClaseDepurador
 
bActualizar - Variable in class entorno.VentanaAyuda
Boton para volver a cargar la página
bAdd - Variable in class entorno.Dialogos.ConfigInterfaz
 
bAxiomas - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bAyudaPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
bBack - Variable in class entorno.VentanaAyuda
Boton para volver a la anterior página
bBaseDatos - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
bBuscarPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
bCancel - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bCancel - Variable in class entorno.Dialogos.ConfigInterfaz
 
bCancelar - Variable in class entorno.debugger.ClaseDialogoReescritura
 
bCerrar - Variable in class entorno.debugger.DialogoEleccion
 
bClases - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bClases - Variable in class entorno.grafo.GraphGUI
 
bColor - Variable in class entorno.Dialogos.ConfigInterfaz
 
bCom - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
bCondition - Variable in class entorno.debugger.ClaseTraza
 
bCoreMaudePath - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bDefault - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
bDefault - Variable in class entorno.Dialogos.ConfigInterfaz
 
bDefecto - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
bDelete - Variable in class entorno.Dialogos.ConfigInterfaz
 
bEcuaciones - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bEnviar - Variable in class entorno.debugger.ClaseDialogoReescritura
 
bEq - Variable in class entorno.debugger.ClaseTraza
 
bEtiquetas - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bEx - Variable in class entorno.grafo.GraphGUI
 
bExcludeWhat - Variable in class entorno.debugger.ClaseTraza
 
bFMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bFmod - Variable in class entorno.grafo.GraphGUI
 
bFth - Variable in class entorno.grafo.GraphGUI
 
bFullAnadirPath - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bFullMaudePath - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bFullMaudePath - Variable in class entorno.Dialogos.ConfigInterfaz
 
bGuardar - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bInc - Variable in class entorno.grafo.GraphGUI
 
bMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bMb - Variable in class entorno.debugger.ClaseTraza
 
bMensajes - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bMod - Variable in class entorno.grafo.GraphGUI
 
bModulo - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bModuloAll - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bOk - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
bOk - Variable in class entorno.Dialogos.ConfigInterfaz
 
bOmod - Variable in class entorno.grafo.GraphGUI
 
bOperadores - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bOth - Variable in class entorno.grafo.GraphGUI
 
bPr - Variable in class entorno.grafo.GraphGUI
 
bReglas - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bResume - Variable in class entorno.debugger.ClaseDepurador
 
bRl - Variable in class entorno.debugger.ClaseTraza
 
bRuta - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
bSalvar - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
bSelect - Variable in class entorno.debugger.ClaseDepurador
 
bSelect - Variable in class entorno.debugger.ClaseTraza
 
bSelectWhat - Variable in class entorno.debugger.ClaseDepurador
 
bSelectWhat - Variable in class entorno.debugger.ClaseTraza
 
bServidor - Variable in class entorno.Dialogos.ConfigInterfaz
 
bStep - Variable in class entorno.debugger.ClaseDepurador
 
bSubstitution - Variable in class entorno.debugger.ClaseTraza
 
bTh - Variable in class entorno.grafo.GraphGUI
 
bTipo - Variable in class entorno.grafo.GraphGUI
 
bTipoFlecha - Variable in class entorno.grafo.GraphGUI
 
bTipos - Variable in class entorno.emulador.ClaseDialogoMostrar
 
bTipos - Variable in class entorno.grafo.GraphGUI
 
bWhere - Variable in class entorno.debugger.ClaseDepurador
 
bWhole - Variable in class entorno.debugger.ClaseTraza
 
bWorkPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
b_Depurador - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_DisplayGrafo - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_DisplayGrafoTipos - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_EnvioDirecto - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_ExitMaude - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_InitCore - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_InitFull - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_Reescritura - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_Show - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_Traza - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_abrir - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_ayuda - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_buscar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_clearErrors - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_copiar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_cortar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_deshacer - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_guardar - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_loop_init - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
b_nuevo - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_pegar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_reemplazar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_rehacer - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
b_salvar - Variable in class entorno.ClaseBarraHerramientas
Almacenan los botones de la barra de herramientas
barraEstado - Variable in class entorno.Entorno
La barra de estado
barraProgreso - Variable in class entorno.Dialogos.DialogoBarraEspera
Barra de progreso
barraProgreso - Variable in class entorno.Entorno.VentanaPresentacion
Barra de progreso
baseDatosMaude - Variable in class entorno.Entorno
La base de datos local
bookName - Variable in class entorno.VentanaAyuda.BookInfo
 
bookURL - Variable in class entorno.VentanaAyuda.BookInfo
 
bordeMostrar - Variable in class entorno.debugger.ClaseTraza
 
borrar() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Borra el texto
borrarBaseDatos() - Method in class entorno.emulador.ClaseModulosOperadores
Borra la base de datos
borrarLinea() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Borra una linea
boton - Variable in class entorno.Dialogos.DialogoBarraEspera
 
botonBuscar - Variable in class entorno.Dialogos.DialogoBusqueda
 
botonBuscar - Variable in class entorno.Dialogos.DialogoReemplazar
 
botonCancelar - Variable in class entorno.Dialogos.DialogoLinea
 
botonCerrar - Variable in class entorno.Dialogos.DialogoBusqueda
 
botonCerrar - Variable in class entorno.Dialogos.DialogoReemplazar
 
botonIr - Variable in class entorno.Dialogos.DialogoLinea
 
botonRTodo - Variable in class entorno.Dialogos.DialogoReemplazar
 
botonRemplazar - Variable in class entorno.Dialogos.DialogoReemplazar
 
buffer - Variable in class entorno.emulador.ClaseVentanaLog
bufferes que comunican nuestro entorno con el proceso Maude sea via local o via sockets
bufferSizeColor - Static variable in class entorno.Entorno
Tamaño del buffer de coloreado
bufferSizeEmulator - Static variable in class entorno.Entorno
Tamaño del buffer del emulador
buscar - Variable in class entorno.ClaseBarraMenu
menu busqueda
buscar - Variable in class entorno.MenuEmergente
 
buscarProximaCadena() - Method in class entorno.Dialogos.DialogoBusqueda
Este metodo es el que permite buscar la posicion de una subcadena en una cadena
buscarProximaCadena(boolean) - Method in class entorno.Dialogos.DialogoReemplazar
Permite buscar y reemplazar una cadena
busqueda - Variable in class entorno.ClaseBarraMenu
 

C

CANCELAR_ACCION - Static variable in class entorno.Entorno
 
CImprimir - class entorno.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.
CImprimir(Document, String, Font) - Constructor for class entorno.CImprimir
Constructor.
CImprimir(Document, String, PageFormat, Font) - Constructor for class entorno.CImprimir
Constructor.
CImprimir.MEditorPage - class entorno.CImprimir.MEditorPage.
Clase MEditorPage Implementa la pagina a imprimir.
CImprimir.MEditorPage(List, Font) - Constructor for class entorno.CImprimir.MEditorPage
Constructor
COLOR_COMENTARIOS - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_CURSOR - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_ECUACIONES - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_FONDO - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_FONDO_TEXTO_SELECCIONADO - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_MODULOS - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_PROPIEDADES - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_TEXTO_NORMAL - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_TEXTO_SELECCIONADO - Static variable in interface entorno.MaudeEditorConstantes
 
COLOR_VARIABLES - Static variable in interface entorno.MaudeEditorConstantes
 
CONTINUED_LABEL - Static variable in class entorno.CImprimir
Etiqueta de continuacion
CerrarAccion() - Method in class entorno.Entorno
Cierra el documento activo mirando antes si debe ser salvado.
CerrarTodoAccion() - Method in class entorno.Entorno
Cierra todos los documentos abiertos mirando los que deben ser salvados.
ClaseBarraHerramientas - class entorno.ClaseBarraHerramientas.
Funcion: Crea la barra de herramientas superior de nuestro entorno
ClaseBarraHerramientas(Entorno) - Constructor for class entorno.ClaseBarraHerramientas
Constructor.
ClaseBarraMenu - class entorno.ClaseBarraMenu.
Funcion: Crea la barra del menu de nuestro entorno
ClaseBarraMenu(Entorno) - Constructor for class entorno.ClaseBarraMenu
Constructor.
ClaseDepurador - class entorno.debugger.ClaseDepurador.
Clase: ClaseDepurador Funcion: Establece un panel lateral al entorno para poder realizar la depuración con Maude
ClaseDepurador(Entorno) - Constructor for class entorno.debugger.ClaseDepurador
Constructor
ClaseDialogoMostrar - class entorno.emulador.ClaseDialogoMostrar.
Funcion: Crea la ventana de diálogo en donde podremos obtener de la base de datos toda la información almacenada en ella
ClaseDialogoMostrar(Entorno) - Constructor for class entorno.emulador.ClaseDialogoMostrar
Constructor
ClaseDialogoReescritura - class entorno.debugger.ClaseDialogoReescritura.
Clase: ClaseDialogoReescritura Funcion: Crea un dialogo con el que podemos enviar comandos de reescritura a Maude
ClaseDialogoReescritura(Entorno) - Constructor for class entorno.debugger.ClaseDialogoReescritura
Constructor
ClaseModulosOperadores - class entorno.emulador.ClaseModulosOperadores.
Funcion: almacenar la base de datos de Maude localmente
ClaseModulosOperadores(Entorno) - Constructor for class entorno.emulador.ClaseModulosOperadores
Constructor
ClaseSubBarraHerramientas - class entorno.emulador.ClaseSubBarraHerramientas.
Funcion: Crea la barra de herramientas inferior de nuestro entorno
ClaseSubBarraHerramientas(Entorno) - Constructor for class entorno.emulador.ClaseSubBarraHerramientas
Constructor.
ClaseTexto - class entorno.ClaseTexto.
Funcion: Crea un JTextPane en nuestro entorno que contendrá el texto de nuestras especificaciones
ClaseTexto(Entorno) - Constructor for class entorno.ClaseTexto
Constructor de la ClaseTexto
ClaseTexto.MyCaretListener - class entorno.ClaseTexto.MyCaretListener.
Clase MyCaretListener Funcion: Se encarga de controlar el movimiento del cursor a traves del area de texto Muestra en la barra de estado: Posicion del cursor Si se esta seleccionando posiciones de comienzo y fin Datos relativos al fichero activo
ClaseTexto.MyCaretListener(Entorno, ClaseTexto) - Constructor for class entorno.ClaseTexto.MyCaretListener
Constructor
ClaseTexto.MyKeyListener - class entorno.ClaseTexto.MyKeyListener.
Clase MyKeyListener Funcion: Se encarga de detectar las pulsaciones de teclas sobre el texto Se encarga de realizar el resaltado de las palabras reservadas (No comentarios)
ClaseTexto.MyKeyListener(Entorno, ClaseTexto) - Constructor for class entorno.ClaseTexto.MyKeyListener
Constructor
ClaseTraza - class entorno.debugger.ClaseTraza.
Clase: ClaseTraza Funcion: Establece un panel lateral al entorno para poder realizar la traza con Maude
ClaseTraza(Entorno) - Constructor for class entorno.debugger.ClaseTraza
Constructor
ClaseVentanaLog - class entorno.emulador.ClaseVentanaLog.
Funcion: Encargada de ejecutar el emulador con el que podremos interactuar con Maude
ClaseVentanaLog(Entorno) - Constructor for class entorno.emulador.ClaseVentanaLog
Constructor
ClaseVentanaLog.Bufferes - class entorno.emulador.ClaseVentanaLog.Bufferes.
Clase Bufferes Funcion: controla los 3 bufferes E/S/Error
ClaseVentanaLog.Bufferes(Process) - Constructor for class entorno.emulador.ClaseVentanaLog.Bufferes
Constructor
ClaseVentanaLog.Bufferes(Socket, Socket) - Constructor for class entorno.emulador.ClaseVentanaLog.Bufferes
Constructor
ClaseVentanaLog.ClaseEmuladorMaude - class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude.
Funcion: Crear la ventana del emulador
ClaseVentanaLog.ClaseEmuladorMaude() - Constructor for class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Constructor
ClaseVentanaLog.ClaseErrorMaude - class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.
Funcion: Almacena el error dado por Maude
ClaseVentanaLog.ClaseErrorMaude() - Constructor for class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
ClaseVentanaLog.ClaseErrorMaude.MensajeError - class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError.
Clase: MensajeError Funcion: Clase que contiene datos informativos sobre el origen del error mostrado en la ventana de error
ClaseVentanaLog.ClaseErrorMaude.MensajeError(int, int, int, int, int, int) - Constructor for class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
Constructor
ClaseVentanaLog.ClaseErrorMaude.MensajeError(int, int, int, int, int) - Constructor for class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
Constructor
ClaseVentanaLog.ClaseResultadoMaude - class entorno.emulador.ClaseVentanaLog.ClaseResultadoMaude.
Funcion: Almacenar el resultado dado por maude
ClaseVentanaLog.ClaseResultadoMaude() - Constructor for class entorno.emulador.ClaseVentanaLog.ClaseResultadoMaude
 
ClaseVentanaLog.ControlFlags - class entorno.emulador.ClaseVentanaLog.ControlFlags.
Clase: ControlFlags Funcion: Se encarga de controlar los flags necesarios segúnla operación realizada en cada momento.
ClaseVentanaLog.ControlFlags() - Constructor for class entorno.emulador.ClaseVentanaLog.ControlFlags
 
ClaseVentanaLog.DaemonTask - class entorno.emulador.ClaseVentanaLog.DaemonTask.
Clase DaemonTask Funcion: ejecutar las hebras procesoEjecutarCoreMaude y TareaCrearDestruirCoreMaude Testea los buffers si están preparados con resultados cada cierto tiempo.
ClaseVentanaLog.DaemonTask(boolean) - Constructor for class entorno.emulador.ClaseVentanaLog.DaemonTask
Constructor DaemonTask
ClaseVentanaLog.EmuladorMaudeLogListener - class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener.
Clase: EmuladorMaudeLogListener Funcion: Recoge los cambios en el emulador
ClaseVentanaLog.EmuladorMaudeLogListener() - Constructor for class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
ClaseVentanaLog.HebraLoopInit - class entorno.emulador.ClaseVentanaLog.HebraLoopInit.
Clase HebraLoopInit Funcion: Realiza un Loop init del proceso Maude
ClaseVentanaLog.HebraLoopInit() - Constructor for class entorno.emulador.ClaseVentanaLog.HebraLoopInit
Constructor
ClaseVentanaLog.ProcesoEjecutarCoreMaude - class entorno.emulador.ClaseVentanaLog.ProcesoEjecutarCoreMaude.
Clase: ProcesoEjecutarCoreMaude Funcion: Tarea que esperará a que Maude de respuestas y las mostrará
ClaseVentanaLog.ProcesoEjecutarCoreMaude() - Constructor for class entorno.emulador.ClaseVentanaLog.ProcesoEjecutarCoreMaude
 
ClaseVentanaLog.TareaCrearDestruirCoreMaude - class entorno.emulador.ClaseVentanaLog.TareaCrearDestruirCoreMaude.
Clase TareaCrearDestruirCoreMaude Funcion: Tarea que se queda esperando hasta que finalice Maude
ClaseVentanaLog.TareaCrearDestruirCoreMaude() - Constructor for class entorno.emulador.ClaseVentanaLog.TareaCrearDestruirCoreMaude
 
Clone() - Method in class entorno.grafo.Graph.Edge
 
ConfiguracionAccion() - Method in class entorno.Entorno
Muestra la ventana de Configuración en donde podremos configurar los paths del entorno, las fuentes de letras, el idioma, iluminación sintáctica, mostrando una ventana de diálogo (ConfigInterfaz.java).
cBoxFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
cCaracter - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
cCom - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
cEleccionModulo - Variable in class entorno.emulador.ClaseDialogoMostrar
 
cEleccionModulo - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
cEstilo - Variable in class entorno.Dialogos.ConfigInterfaz
 
cFamilia - Variable in class entorno.Dialogos.ConfigInterfaz
 
cFondo - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
cSeleccion - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
cSize - Variable in class entorno.Dialogos.ConfigInterfaz
 
cTextoS - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
cambiarColoresEntorno() - Method in class entorno.ClaseTexto
Cambia los colores del area de texto: cursor, fondo, etc.
cambiarFuente(Font) - Method in class entorno.Entorno
Cambia la fuente de los documentos
cambiarUrl(URL) - Method in class entorno.VentanaAyuda
Cambia la url asignada para la pagina oficial de maude
cambioColores - Variable in class entorno.Dialogos.ConfigInterfaz
 
cambioPalabras - Variable in class entorno.Dialogos.ConfigInterfaz
Indica si las listas de palabras han cambiado
caretUpdate(CaretEvent) - Method in class entorno.ClaseTexto.MyCaretListener
Gestiona todos la acciones del cursor
cargando - Variable in class entorno.Dialogos.DialogoBarraEspera
Etiqueta para mostrar la fase en carga
cargando - Variable in class entorno.Entorno.VentanaPresentacion
Etiqueta para mostrar la fase en carga
cargarFichero(File, Document) - Method in class entorno.Entorno
inserta en doc el fichero dado por f.
cargarPreferencias() - Method in class entorno.Entorno
lee desde el fich de configuración : localconfig.ini las preferencias del entorno
cbAdd - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
cboxEscalas - Variable in class entorno.grafo.GraphGUI
 
cerrarBufferes() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Cierra los bufferes
cerrarDialogo(WindowEvent) - Method in class entorno.Dialogos.ConfigInterfaz
Cierra este dialogo
cerrarDialogo(WindowEvent) - Method in class entorno.Dialogos.DialogoBusqueda
Permite cerrar el dialogo
cerrarDialogo(WindowEvent) - Method in class entorno.Dialogos.DialogoLinea
Cierra este dialogo
cerrarDialogo(WindowEvent) - Method in class entorno.Dialogos.DialogoReemplazar
 
cerrarDialogo(WindowEvent) - Method in class entorno.debugger.ClaseDialogoReescritura
Cierra este dialogo
cerrarDialogo(WindowEvent) - Method in class entorno.debugger.DialogoEleccion
Permite cerrar el dialogo
cerrarMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
cerrarTodoMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
changedUpdate(DocumentEvent) - Method in class entorno.Entorno.MiDocumentoListener
 
changedUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
changedUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
cjtoDeOpsLabelsDepurador - Variable in class entorno.debugger.ClaseTraza
 
cjtoDeOpsLabelsTraza - Variable in class entorno.debugger.ClaseTraza
 
cjtoMFin - Variable in class entorno.emulador.ClaseModulosOperadores
cjto con las palabras clave del fin de un modulo
cjtoMInicio - Variable in class entorno.emulador.ClaseModulosOperadores
cjto con las palabras clave del inicio de un modulo
cjtoModulos - Variable in class entorno.emulador.ClaseModulosOperadores
cjto con nodos nodoMODULO (nombre,esPredefinido,tipo,isFullMaude) usado como generador de claves
cjtoModulosExcluidos - Variable in class entorno.debugger.ClaseTraza
 
cjtoModulosVisitados - Variable in class entorno.debugger.DialogoEleccion
 
cjtoModuls - Variable in class entorno.emulador.ClaseModulosOperadores
 
cjtoPalEstudio - Variable in class entorno.emulador.ClaseModulosOperadores
cjto de palabras clave a estudiar para la base de datos: ops sorts subsorts
clave - Variable in class entorno.ClaseTexto
es una clave para diferenciar otros ClaseTexto entre sí.
clave - Variable in class entorno.Entorno
nº clave para los ClaseTexto para diferenciarlos los unos de los otros.
claveOrigen - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
clearErrorsMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
clickAction - Variable in class entorno.grafo.DrawingArea
the current action to take when a click occurs in this drawing area
colError - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
color - Variable in class entorno.grafo.Graph.Edge
 
color - Variable in class entorno.grafo.Graph.Node
 
coloreando - Variable in class entorno.ClaseTexto
indica si se esta coloreando
colorearTexto() - Method in class entorno.ClaseTexto
Colorea el texto de este objeto.
colores - Static variable in class entorno.Entorno
Tabla con los colores disponibles para el coloreado del entorno en general.
coloresGrafo - Variable in class entorno.emulador.ClaseVentanaLog
 
coloresTemporal - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
coloresTemporal - Variable in class entorno.Dialogos.ConfigInterfaz
 
columna - Variable in class entorno.ClaseTexto
columna ultima en la que estaba el cursor
comando - Variable in class entorno.debugger.DialogoEleccion
 
comando2 - Variable in class entorno.debugger.DialogoEleccion
 
comandoEjecutandose - Variable in class entorno.emulador.ClaseVentanaLog
indica q se ha mandado un comando.
comboEleccion - Variable in class entorno.debugger.ClaseDialogoReescritura
 
comboHistorico - Variable in class entorno.debugger.ClaseDialogoReescritura
 
compareTo(Object) - Method in class entorno.emulador.nodoIEP
 
compareTo(Object) - Method in class entorno.emulador.nodoMODULO
 
compareTo(Object) - Method in class entorno.emulador.nodoOPERS
 
comprobarAyudaPath() - Method in class entorno.Dialogos.ConfigInterfaz
 
comprobarPath() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
comprobarPathFullFile() - Method in class entorno.Dialogos.ConfigInterfaz
 
comprobarPathMaude() - Method in class entorno.Dialogos.ConfigInterfaz
 
comprobarRuta(String) - Static method in class entorno.ClaseBarraMenu
 
comprobarRuta(String) - Method in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
comprobarWorkPath() - Method in class entorno.Dialogos.ConfigInterfaz
 
conErrores - Variable in class entorno.emulador.ClaseVentanaLog
indica si el buffer de errores tiene algo o no.
conResultado - Variable in class entorno.emulador.ClaseVentanaLog
indica si tiene o no un resultado q mostrarse en en la ventanaLog
config - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
config - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
configb - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
configuracion - Variable in class entorno.Entorno
Ventana de configuración
contador - Variable in class entorno.Dialogos.DialogoBarraEspera
Contador de progreso
contador - Variable in class entorno.Entorno.VentanaPresentacion
Contador de progreso
control - Variable in class entorno.emulador.ClaseVentanaLog
Clase que controla las condiciones para que se realicen las operaciones
controller - Variable in class entorno.grafo.DrawingArea
 
coordenadasTextoC - Variable in class entorno.BarraEstado
Columna donde esta situado el cursor
coordenadasTextoF - Variable in class entorno.BarraEstado
Fila donde esta situado el cursor
copiar - Variable in class entorno.MenuEmergente
 
copiarMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
cortar - Variable in class entorno.MenuEmergente
 
cortarMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
counterpart - Variable in class entorno.grafo.Graph.Edge
 
creaAtributos() - Static method in class entorno.Entorno
Crea los distintos atributos para la representacion de las palabras en el TextPane
creaBorde(JLabel) - Method in class entorno.BarraEstado
Crea un panel en forma de casilla con una etiqueta
creaTablaHashDefecto() - Static method in class entorno.Entorno
Crea la tabla por defecto
creaTablaHashDefecto2() - Static method in class entorno.Entorno
Crea la tabla por defecto
creaVectores() - Static method in class entorno.Entorno
Crea un array de vectores.
crearBaseDatos(String, boolean, boolean, boolean, boolean) - Method in class entorno.emulador.ClaseModulosOperadores
Usado por el insertandoReconociendoFichero
crearColores() - Static method in class entorno.Entorno
Crea una tabla con los colores
crearLista() - Method in class entorno.Dialogos.ConfigInterfaz
Crea una lista vacia para almacenar palabras
crearNuevaPestana() - Method in class entorno.Entorno
añade una nueva pestaña al panel de pestañas
crearTexto() - Method in class entorno.Entorno
Crea un ClaseTexto, le pone sus atributos y eventos.
crearVectores() - Method in class entorno.Dialogos.ConfigInterfaz
 
createNodesEditor(DefaultMutableTreeNode) - Method in class entorno.VentanaAyuda
Crea los nodos del arbol para la seccion de ayuda para el editor
createNodesEditorIngles(DefaultMutableTreeNode) - Method in class entorno.VentanaAyuda
Crea los nodos del arbol para la seccion de ayuda en inglés para el editor
curveNumber - Variable in class entorno.grafo.Graph.Edge
 

D

DEPURADOR_ABORTAR - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_ABORTAR_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_ACTIVAR - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_ACTIVAR_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_DAR1PASO - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_DAR1PASO_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_DONDE - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_DONDE_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_PUNTOSRUPTURA - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_PUNTOSRUPTURA_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_RESUMIR - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_RESUMIR_E - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_TITULO - Static variable in interface entorno.MaudeEditorConstantes
 
DEPURADOR_TITULO_E - Static variable in interface entorno.MaudeEditorConstantes
 
DIRECTED_PROPERTY - Variable in class entorno.grafo.DrawingArea
 
DialogoEleccion - class entorno.debugger.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
DialogoEleccion(Entorno, String, String, String, String) - Constructor for class entorno.debugger.DialogoEleccion
Constructor
DialogoEleccion.UpdatePrefixListAction - class entorno.debugger.DialogoEleccion.UpdatePrefixListAction.
 
DialogoEleccion.UpdatePrefixListAction() - Constructor for class entorno.debugger.DialogoEleccion.UpdatePrefixListAction
 
Dialogos - class entorno.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.
Dialogos(Entorno) - Constructor for class entorno.Dialogos
Constructor
Dialogos.ConfigInterfaz - class entorno.Dialogos.ConfigInterfaz.
Funcion: Ventana de dialogo para configurar en entorno.
Dialogos.ConfigInterfaz(Entorno) - Constructor for class entorno.Dialogos.ConfigInterfaz
 
Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar - class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar.
 
Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar(Dialogos.ConfigInterfaz) - Constructor for class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
Dialogos.ConfigInterfaz.JComboBoxListener - class entorno.Dialogos.ConfigInterfaz.JComboBoxListener.
 
Dialogos.ConfigInterfaz.JComboBoxListener() - Constructor for class entorno.Dialogos.ConfigInterfaz.JComboBoxListener
 
Dialogos.ConfigInterfaz.JPanelIp - class entorno.Dialogos.ConfigInterfaz.JPanelIp.
 
Dialogos.ConfigInterfaz.JPanelIp() - Constructor for class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
Dialogos.ConfigInterfaz.MyColorAction - class entorno.Dialogos.ConfigInterfaz.MyColorAction.
Clase MyColorAction Funcion: Controla los eventos producidos por los botones de accion
Dialogos.ConfigInterfaz.MyColorAction() - Constructor for class entorno.Dialogos.ConfigInterfaz.MyColorAction
 
Dialogos.ConfigInterfaz.PanelAvanzado - class entorno.Dialogos.ConfigInterfaz.PanelAvanzado.
Clase PanelAvanzado Funcion: Implementa el Dialogo de seleccion de opciones avanzadas para el emulador.
Dialogos.ConfigInterfaz.PanelAvanzado(Dialogos.ConfigInterfaz) - Constructor for class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
Dialogos.ConfigInterfaz.PanelColores - class entorno.Dialogos.ConfigInterfaz.PanelColores.
Clase PanelColores Funcion: Implementa el Dialogo de seleccion de colores para el area de texto.
Dialogos.ConfigInterfaz.PanelColores(Dialogos.ConfigInterfaz) - Constructor for class entorno.Dialogos.ConfigInterfaz.PanelColores
Constructor
Dialogos.ConfigInterfaz.PanelColores.MyActionListener - class entorno.Dialogos.ConfigInterfaz.PanelColores.MyActionListener.
Clase MyActionListener Funcion: Controla los eventos producidos por los botones de accion
Dialogos.ConfigInterfaz.PanelColores.MyActionListener() - Constructor for class entorno.Dialogos.ConfigInterfaz.PanelColores.MyActionListener
 
Dialogos.ConfigInterfaz.PanelColores.MyMouseListener - class entorno.Dialogos.ConfigInterfaz.PanelColores.MyMouseListener.
Clase MyMouseListener Funcion: Controla el evento de hacer clic sobre un panel de colores (Se pretende cambiar ese color)
Dialogos.ConfigInterfaz.PanelColores.MyMouseListener() - Constructor for class entorno.Dialogos.ConfigInterfaz.PanelColores.MyMouseListener
 
Dialogos.DialogoBarraEspera - class entorno.Dialogos.DialogoBarraEspera.
Funcion: Hace una barra de espera mientras se colorea el texto
Dialogos.DialogoBarraEspera(JFrame, int) - Constructor for class entorno.Dialogos.DialogoBarraEspera
 
Dialogos.DialogoBusqueda - class entorno.Dialogos.DialogoBusqueda.
Funcion: Muestra el dialogo de busquedaDialogoBusqueda Nos permite buscar una cadena de texto en el area de texto
Dialogos.DialogoBusqueda(JFrame, ClaseTexto) - Constructor for class entorno.Dialogos.DialogoBusqueda
Constructor
Dialogos.DialogoBusqueda.EventosDialogoBuscar - class entorno.Dialogos.DialogoBusqueda.EventosDialogoBuscar.
Clase EventosDialogoBuscar Funcion: Controla los eventos producidos por los botones de accion
Dialogos.DialogoBusqueda.EventosDialogoBuscar() - Constructor for class entorno.Dialogos.DialogoBusqueda.EventosDialogoBuscar
 
Dialogos.DialogoLinea - class entorno.Dialogos.DialogoLinea.
Funcion: Muestra el dialogo ir a la linea Permite desplazar al cursor de escritura hasta la linea indicada
Dialogos.DialogoLinea(JFrame, ClaseTexto) - Constructor for class entorno.Dialogos.DialogoLinea
Constructor
Dialogos.DialogoLinea.EventosDialogoIr - class entorno.Dialogos.DialogoLinea.EventosDialogoIr.
Clase EventosDialogoIr Funcion: Controla los eventos producidos por los botones de accion y la casilla de texto
Dialogos.DialogoLinea.EventosDialogoIr() - Constructor for class entorno.Dialogos.DialogoLinea.EventosDialogoIr
 
Dialogos.DialogoReemplazar - class entorno.Dialogos.DialogoReemplazar.
Funcion: Muestra el dialogo reemplazar Nos permite buscar una cadena de texto en el area de texto y reemplazar esta por otra
Dialogos.DialogoReemplazar(Entorno, ClaseTexto) - Constructor for class entorno.Dialogos.DialogoReemplazar
Constructor
Dialogos.DialogoReemplazar.EventosDialogoBuscar - class entorno.Dialogos.DialogoReemplazar.EventosDialogoBuscar.
Clase EventosDialogoBuscar Funcion: Controla los eventos producidos por los botones de accion
Dialogos.DialogoReemplazar.EventosDialogoBuscar() - Constructor for class entorno.Dialogos.DialogoReemplazar.EventosDialogoBuscar
 
DrawingArea - class entorno.grafo.DrawingArea.
Clase: DrawingArea Funcion: Clase del area de dibujo.
DrawingArea(GraphGUI) - Constructor for class entorno.grafo.DrawingArea
Constructor.
dCom - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
dat - Variable in class entorno.grafo.Graph.Edge
 
datosTexto - Variable in class entorno.BarraEstado
Información del archivo
defectoAccion() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
definicion - Variable in class entorno.emulador.nodoOPERS
 
definicionFull - Variable in class entorno.grafo.Graph.Node
 
depuradorBar - Variable in class entorno.Entorno
La barra del depurador
desabilitarVentanaLog() - Method in class entorno.emulador.ClaseVentanaLog
Para que no se pueda editar la ventana de emulacion
desactivarDepurador() - Method in class entorno.debugger.ClaseDepurador
desactiva el depurador
desactivarDeshacer - Variable in class entorno.ReconocerSintaxis.MiTareaAnalisis
 
descargarFichero(String, URL) - Method in class entorno.ClaseBarraMenu
Realiza una descarga de fichero apuntado por la dirección URL a la ruta dada en el primer argumento
desdeCursor - Variable in class entorno.Dialogos.DialogoBusqueda
 
desdeCursor - Variable in class entorno.Dialogos.DialogoReemplazar
 
desdePrincipio - Variable in class entorno.Dialogos.DialogoBusqueda
 
desdePrincipio - Variable in class entorno.Dialogos.DialogoReemplazar
 
deshabilitarNuevasPalabras(boolean) - Method in class entorno.Dialogos.ConfigInterfaz.MyColorAction
 
deshacerMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
despertarTodo() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Despierta las posibles esperas para comprobar las condiciones de control
devolverEstiloL(String) - Method in class entorno.Dialogos.ConfigInterfaz
 
devolverEstiloN(int) - Method in class entorno.Dialogos.ConfigInterfaz
 
dialBarra - Variable in class entorno.Dialogos
Variable que apunta al dialogo de la barra de espera
dialRees - Variable in class entorno.Entorno
La ventana de envio de comandos de reescritura a Maude
dialog - Variable in class entorno.ReconocerSintaxis.MiTareaAnalisis
 
dialogoMostrarAccion() - Method in class entorno.emulador.ClaseSubBarraHerramientas
Muestra el dialogo que establece consultas a la base de datos
displayGrafoMenuItem - Variable in class entorno.ClaseBarraMenu
menu ver
displayGrafoTiposMenuItem - Variable in class entorno.ClaseBarraMenu
menu ver
displayInformacionMenuItem - Variable in class entorno.ClaseBarraMenu
menu ver
displayURL(URL) - Method in class entorno.VentanaAyuda
Carga la url indicada en el panel que muestra la ayuda
distance(Point, Point) - Method in class entorno.grafo.DrawingArea
Devuelve la distancia entre 2 puntos
doc - Variable in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
drawCurve(Graphics, Point, Point, Point) - Method in class entorno.grafo.DrawingArea
Dibuja una curva desde start, pasando por mid y terminando en stop
drawEdge(Graphics, Graph.Node, Graph.Edge) - Method in class entorno.grafo.DrawingArea
Dibuja 1 arista en el grafo.
drawNode(Graphics, Graph.Node) - Method in class entorno.grafo.DrawingArea
Dibuja un nodo en el grafo
drawingArea - Variable in class entorno.grafo.GraphGUI
donde dibujaré el grafo

E

EDGE_ARROW_SIZE - Variable in class entorno.grafo.DrawingArea
 
EDICION_ACCION_COPY - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_COPY_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_CUT - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_CUT_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_DELETE - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_DELETE_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_PASTE - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_PASTE_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_REDO - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_REDO_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_SELECT_ALL - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_SELECT_ALL_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_UNDO - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_ACCION_UNDO_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRAS_HERR - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRAS_HERR_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRA_INF - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRA_INF_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRA_SUP - Static variable in interface entorno.MaudeEditorConstantes
 
EDICION_VER_BARRA_SUP_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDITOR_ACCION_COMANDO - Static variable in interface entorno.MaudeEditorConstantes
 
EDITOR_ACCION_COMANDO_E - Static variable in interface entorno.MaudeEditorConstantes
 
EDITOR_ACCION_ENVIAR - Static variable in interface entorno.MaudeEditorConstantes
 
EDITOR_ACCION_ENVIAR_E - Static variable in interface entorno.MaudeEditorConstantes
 
EMULADOR_POS - Static variable in class entorno.emulador.ClaseVentanaLog
 
ERROR_POS - Static variable in class entorno.emulador.ClaseVentanaLog
 
ESPERA_REFRESCO_BUFFERES - Static variable in class entorno.emulador.ClaseVentanaLog
 
ESPERA_REFRESCO_SALIDA_MAUDE - Static variable in class entorno.emulador.ClaseVentanaLog
 
ESPERA_TESTEO_FLAG - Static variable in class entorno.emulador.ClaseVentanaLog
 
ESTA_COLOREADO - Static variable in interface entorno.MaudeEditorConstantes
 
ESTA_SELECT_SALIDA - Static variable in interface entorno.MaudeEditorConstantes
 
ESTA_SELECT_SERVIDOR - Static variable in interface entorno.MaudeEditorConstantes
 
ESTILO_LETRA - Static variable in interface entorno.MaudeEditorConstantes
 
EXTENDING - Static variable in class entorno.emulador.nodoIEP
 
Edges - Variable in class entorno.grafo.Graph.Node
 
Entorno - class entorno.Entorno.
Funcion: Es nuestro panel principal
Entorno() - Constructor for class entorno.Entorno
Constructor de la clase Entorno.
Entorno.ImageFileView - class entorno.Entorno.ImageFileView.
Funcion: Permite asignarles imágenes a los archivos con extensiones Maude y FM.
Entorno.ImageFileView() - Constructor for class entorno.Entorno.ImageFileView
 
Entorno.ImageFilter - class entorno.Entorno.ImageFilter.
Funcion: Se encarga de mostrar el filtro en los cuadros de diálogos tales como el de abrir un fichero o salvar.
Entorno.ImageFilter() - Constructor for class entorno.Entorno.ImageFilter
 
Entorno.ImageFilterFull - class entorno.Entorno.ImageFilterFull.
Funcion: Se encarga de mostrar el filtro en los cuadros de diálogos tales como el de abrir un fichero o salvar.
Entorno.ImageFilterFull() - Constructor for class entorno.Entorno.ImageFilterFull
 
Entorno.MiDocumentoListener - class entorno.Entorno.MiDocumentoListener.
Clase MiDocumentoListener Funcion: Recoge si hay algún cambio en el texto.
Entorno.MiDocumentoListener(ClaseTexto) - Constructor for class entorno.Entorno.MiDocumentoListener
 
Entorno.VentanaPresentacion - class entorno.Entorno.VentanaPresentacion.
Funcion: Crea una presentación mientras carga el editor
Entorno.VentanaPresentacion(Entorno, String, String, int) - Constructor for class entorno.Entorno.VentanaPresentacion
Constructor clase VentanaPresentacion
EnviarDirectAccion() - Method in class entorno.Entorno
Envía el fichero actual directamente a Maude
EventosPortapapeles - class entorno.EventosPortapapeles.
Funcion: Gestiona los eventos producidos por el cortar, copiar y pegar.
EventosPortapapeles(Entorno) - Constructor for class entorno.EventosPortapapeles
Constructor.
EventosRatonPopup - class entorno.EventosRatonPopup.
Funcion: Controla el pulsado del raton sobre el area de texto Permite mostrar el menu emergente
EventosRatonPopup(Entorno) - Constructor for class entorno.EventosRatonPopup
Constructor
edicionMenu - Variable in class entorno.ClaseBarraMenu
 
ejecutandoCoreMaude - Variable in class entorno.emulador.ClaseVentanaLog
indica si se está ejecutando Maude.
ejecutandoMaude - Variable in class entorno.emulador.ClaseVentanaLog
indica si: 0 =nada 1= coreMaude 2=fullMaude
ejecutandoseMaude - Variable in class entorno.emulador.ClaseVentanaLog
cuando maude esta ejecutandose debido a la introduccion de un comando hasta que muestre el prompt
ejecutarCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog
Inicia Core Maude .
ejecutarFullMaude() - Method in class entorno.emulador.ClaseVentanaLog
Inicia Full Maude.
eleccModulos - Variable in class entorno.debugger.ClaseTraza
 
eleccOperadores - Variable in class entorno.debugger.ClaseDepurador
 
eleccOperadores - Variable in class entorno.debugger.ClaseTraza
 
elemAction - Variable in class entorno.debugger.DialogoEleccion
 
eliminarPalabra() - Method in class entorno.Dialogos.ConfigInterfaz
 
eliminarRetornosCarro() - Method in class entorno.Dialogos.DialogoBusqueda
Devuelve una cadena que representa al texto del area de texto cuya posicion de caracteres se corresponde con la posicion en el area de texto
eliminarRetornosCarro() - Method in class entorno.Dialogos.DialogoReemplazar
 
emuMaude - Variable in class entorno.grafo.GraphGUI
El emulador Maude
emuladorMaude - Variable in class entorno.emulador.ClaseVentanaLog
pestaña 0.
enabledAntesMaude() - Method in class entorno.Entorno
Habilita y deshabilita los botones apropiados cuando aún no se ha iniciado Maude y arranca la base de datos local correspondiente
enabledTrasFinMaude() - Method in class entorno.Entorno
Habilita y deshabilita los botones apropiados cuando se haya salido de maude
encontrado - Variable in class entorno.Dialogos.DialogoReemplazar
 
entorno - package entorno
 
entorno - Variable in class entorno.BarraEstado
 
entorno - Variable in class entorno.ClaseBarraHerramientas
 
entorno - Variable in class entorno.ClaseBarraMenu
 
entorno - Variable in class entorno.ClaseTexto.MyCaretListener
 
entorno - Variable in class entorno.ClaseTexto.MyKeyListener
 
entorno - Variable in class entorno.ClaseTexto
 
entorno - Variable in class entorno.Dialogos.ConfigInterfaz
 
entorno - Variable in class entorno.Dialogos.DialogoReemplazar
 
entorno - Variable in class entorno.Dialogos
 
entorno - Variable in class entorno.EventosPortapapeles
 
entorno - Variable in class entorno.EventosRatonPopup
 
entorno - Variable in class entorno.MenuEmergente
 
entorno - Variable in class entorno.MyMouseDescripcion
 
entorno - Variable in class entorno.ReconocerSintaxis.MiTareaAnalisis
 
entorno - Variable in class entorno.debugger.ClaseDepurador
 
entorno - Variable in class entorno.debugger.ClaseDialogoReescritura
 
entorno - Variable in class entorno.debugger.ClaseTraza
 
entorno - Variable in class entorno.debugger.DialogoEleccion
 
entorno - Variable in class entorno.emulador.ClaseDialogoMostrar
 
entorno - Variable in class entorno.emulador.ClaseModulosOperadores
 
entorno - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
entorno - Variable in class entorno.emulador.ClaseVentanaLog
 
entorno.debugger - package entorno.debugger
 
entorno.emulador - package entorno.emulador
 
entorno.grafo - package entorno.grafo
 
entrada - Variable in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
entradaMaudeBuff - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
lo q mandaremos a Maude
enviarComandoAMaudeDesdeInput() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condiciones pa enviar desde Input a Maude
enviarMaude - Variable in class entorno.MenuEmergente
 
envioDirecto(String) - Method in class entorno.emulador.ClaseVentanaLog
Envia comandos a maude que no generan salida. solo generan el prompt, por ejemplo select FULL-MAUDE
envioDirectoDeModulos(ClaseTexto) - Method in class entorno.emulador.ClaseVentanaLog
Envia los modulos directamente a Maude
equals(Object) - Method in class entorno.debugger.ItemHistorico
 
equals(Object) - Method in class entorno.emulador.nodoIEP
 
equals(Object) - Method in class entorno.emulador.nodoMODULO
 
equals(Object) - Method in class entorno.emulador.nodoOPERS
 
errorDialog(String, String) - Method in class entorno.emulador.ClaseVentanaLog
Mensajes de error.
errorMaude - Variable in class entorno.emulador.ClaseVentanaLog
pestaña 2. últimos errores dados por Maude
errorMaudeBuff - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
posibles errores
errores - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
esDeTipos - Variable in class entorno.grafo.GraphGUI
si la ventana es para mostrar los tipos
escala - Variable in class entorno.grafo.DrawingArea
 
escribir(String, int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Escribe la cadena 's' con el color dado
escribir(String, int, int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
escribir(String, int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseResultadoMaude
 
esperaEscrituraMsje(boolean) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
realiza una espera hasta que maude envie la respuesta mostrando la respuesta enviada en gris oscuro
esperarRespuesta() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Provoca una espera hasta que se haya una respuesta en el buffer Respuesta
esperarRespuesta() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion pa q se deba esperar hasta q el buffer obtenga alguna respuesta.
esperarRespuestaInterna() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Provoca una espera hasta que se haya una respuesta ya sea en el buffer de error o en el de salida.
esperarRespuestaInterna() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion para que se deba esperar hasta que el buffer obtenga alguna respuesta interna
estaNodoEnArea(Graph.Node, Rectangle) - Method in class entorno.grafo.DrawingArea
 
establecerColores() - Static method in class entorno.Entorno
Cambia los colores de los atributos para las palabras
estado - Variable in class entorno.ClaseBarraMenu
El testigo de Maude WorkStation
estadoCampos(boolean) - Method in class entorno.Dialogos.DialogoBusqueda
Permite desactivar y activar los campos del dialogo que no son botones
estadoCampos(boolean) - Method in class entorno.Dialogos.DialogoReemplazar
 
estiloPalabra - Static variable in class entorno.Entorno
Contiene la tabla con las palabras reservadas y su atributo correspondiente
etiqBuscar - Variable in class entorno.Dialogos.DialogoBusqueda
 
etiqBuscar - Variable in class entorno.Dialogos.DialogoReemplazar
 
etiqLinea - Variable in class entorno.Dialogos.DialogoLinea
 
etiqNpalabra - Variable in class entorno.Dialogos.DialogoReemplazar
 
etiqueta - Variable in class entorno.Entorno.VentanaPresentacion
Comentario de carga
etiquetaAyuda - Variable in class entorno.BarraEstado
Muestra la acción de cada opción de los menús y la barra de Herramientas
eventosPortapapeles - Variable in class entorno.Entorno
Los eventos del portapapeles
exitProgram() - Method in class entorno.grafo.GraphGUI
Para salir de la ventana

F

FOOTER_SPACE - Variable in class entorno.CImprimir
Tamangno del pie de pagina
fichero - Variable in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
ficheroName - Variable in class entorno.CImprimir
Nombre del fichero a imprimir
ficherosSize - Static variable in class entorno.Entorno
Tamaño de los ficheros de salida en la traza
filError - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
filename - Variable in class entorno.grafo.Graph
 
fin - Variable in class entorno.Dialogos.DialogoReemplazar
 
finFila - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
finalizarCoreMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
findEdge(String, String) - Method in class entorno.grafo.Graph
Encuntra la 1ª arista entre 2 nodos
findEdge(Graph.Node, Graph.Node) - Method in class entorno.grafo.Graph
Encuentra la 1ª arista entre 2 nodos
findLastEdge(Graph.Node, Graph.Node) - Method in class entorno.grafo.Graph
Encuentra la ultima arista entre 2 nodos
findMaxCurve(Graph.Node, Graph.Node) - Method in class entorno.grafo.Graph
Encuentra la ultima arista entre 2 nodos
findNode(String) - Method in class entorno.grafo.Graph
Encuentra el nodo dado por el nombre name
findNodeAtPosition(Point) - Method in class entorno.grafo.DrawingArea
Encuentro el nodo dado en la posición Devuelve el nodo encontrado o null si no lo ha encontrado
findPositionNode(int, int) - Method in class entorno.grafo.GraphGUI
Encuentra una posicion donde poner el nodo.
focusGained(FocusEvent) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
focusGained(FocusEvent) - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
focusLost(FocusEvent) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
focusLost(FocusEvent) - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
font - Variable in class entorno.CImprimir.MEditorPage
 
font - Static variable in class entorno.CImprimir
fuente por defecto de impresion
footerFont - Static variable in class entorno.CImprimir
Fuente para el pie de pagina
formarGrafo() - Method in class entorno.emulador.ClaseVentanaLog
Construye el grafo de modulos a partir de la base de datos
formarGrafoTipos() - Method in class entorno.emulador.ClaseVentanaLog
Construye el gafo de tipos y clases que contienen un modulo a partir de la base de datos
frame - Variable in class entorno.grafo.GraphGUI
El frame de la aplicacion
fuente - Variable in class entorno.Dialogos.ConfigInterfaz
 
fuente - Static variable in class entorno.Entorno
La fuente actual del entorno
fullMaudeFile - Static variable in class entorno.Entorno
Ruta donde se encuentra el fichero full-maude.maude

G

GRAFO_ESCALA - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_ESCALA_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_EXIT - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_EXIT_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_PAGE_SETUP - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_PAGE_SETUP_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_PRINT - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_PRINT_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_CLASES - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_CLASES_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_MODS_PREDEF - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_MODS_PREDEF_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_MODS_PREDEF_FULL - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_MODS_PREDEF_FULL_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL_BOOL - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL_BOOL_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL_UP - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_REL_UP_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_TIPOS - Static variable in interface entorno.MaudeEditorConstantes
 
GRAFO_VIEW_TIPOS_E - Static variable in interface entorno.MaudeEditorConstantes
 
GRISOSCURO - Static variable in class entorno.emulador.ClaseVentanaLog
 
Graph - class entorno.grafo.Graph.
Clase: Graph Funcion: Tipo abstracto de datos Graph.
Graph() - Constructor for class entorno.grafo.Graph
 
Graph.Edge - class entorno.grafo.Graph.Edge.
 
Graph.Edge(Graph.Node) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Edge(Graph.Node, boolean) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Edge(Graph.Node, Color, String, float, boolean) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Edge(Graph.Node, boolean, int, Color) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Edge(Graph.Node, boolean, int) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Edge(Graph.Node, Color, String, float, boolean, int) - Constructor for class entorno.grafo.Graph.Edge
 
Graph.Node - class entorno.grafo.Graph.Node.
 
Graph.Node() - Constructor for class entorno.grafo.Graph.Node
 
Graph.Node(String, Point, float, Color, boolean, boolean) - Constructor for class entorno.grafo.Graph.Node
 
GraphGUI - class entorno.grafo.GraphGUI.
Clase: GraphGUI Funcion: Crea un GUI en donde se insertara la representacion de un grafo no dirigido
GraphGUI(ClaseVentanaLog, boolean) - Constructor for class entorno.grafo.GraphGUI
Constructor del interfaz grafico.
GuardarAccion() - Method in class entorno.Entorno
Guarda el documento actual en un fichero.
GuardarComoAccion() - Method in class entorno.Entorno
Guarda el documento actual con otro nombre proporcionado por el usuario a través del cuadro de diálogo de salvar fichero.
GuardarComoMaudeAccion() - Method in class entorno.Entorno
Guarda lo que haya en la pestaña del emulador que esté activa: EMULADOR, o RESULT
gestionarLinea(String, int, boolean, boolean) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Metodo que se encarga de gestionar las lineas de error para insertarle el numero de linea real
getA() - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
getAyudaPath() - Static method in class entorno.Entorno
 
getB() - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
getBuffControl() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getBuffer() - Method in class entorno.emulador.ClaseVentanaLog
 
getBufferError() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Consume el buffer de error y lo devuelve
getBufferError() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion pa conseguir el buffer de error
getBufferSalida() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Consume el buffer de salida y lo devuelve
getBufferSalida() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion pa conseguir el buffer de salida
getBufferSizeColor() - Static method in class entorno.Entorno
 
getBufferSizeEmulator() - Static method in class entorno.Entorno
 
getC() - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
getCjtoAxiomasModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de axiomas de el modulo dado por el argumento
getCjtoClasesModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el nombre de las clases que contiene un módulo concreto, además de la de los módulos importados por él
getCjtoClasesModuloRecursivo(String) - Method in class entorno.emulador.ClaseModulosOperadores
 
getCjtoClasesParaJerarquia(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el nombre de las clases para un modulo concreto
getCjtoEcuacionesModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de ecuaciones de el modulo dado por el argumento
getCjtoEtiquetasModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de etiquetas de un modulo dado
getCjtoExtendingModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado
getCjtoIEPModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Obtiene un cjto de modulos que incluye, extiende o prot un modulo concreto
getCjtoIEPModuloR(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve todos los modulos usados recursivamente
getCjtoIEPModuloRRecursivo(String) - Method in class entorno.emulador.ClaseModulosOperadores
 
getCjtoIncludeModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve un conjunto con cadenas de caracteres de todos los modulos que incluye el modulo dado
getCjtoMensajesModuloNodo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de mensajes con la estructura del nodo op
getCjtoModulos() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de modulos que contiene la base de datos
getCjtoOpersModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el conjunto de operadores ordenados y separados en cabeza/cola por un caracter especial
getCjtoOpersModuloNodo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de operadores con la estructura del nodo op
getCjtoProtectingModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de modulos que prot un modulo concreto
getCjtoReglasModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve el cjto de reglas de el modulo dado por el argumento
getClave() - Method in class entorno.ClaseTexto
 
getClaveOrigen() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getColError() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getD() - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
getDefinicion() - Method in class entorno.emulador.nodoOPERS
 
getDescription(File) - Method in class entorno.Entorno.ImageFileView
 
getDescription() - Method in class entorno.Entorno.ImageFilter
Descripción de los ficheros
getDescription() - Method in class entorno.Entorno.ImageFilterFull
Descripción de los ficheros
getDrawingArea() - Method in class entorno.grafo.GraphGUI
 
getEmuladorMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getEntorno() - Method in class entorno.ClaseTexto
 
getEntradaMaudeBuff() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getErrorMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getErrorMaudeBuff() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getEscala() - Method in class entorno.grafo.DrawingArea
 
getExtension(File) - Method in class entorno.Entorno.ImageFileView
Obtencion de la extencion de un fichero
getExtension(File) - Method in class entorno.Entorno.ImageFilter
Obtiene la extensión del fichero
getExtension(File) - Method in class entorno.Entorno.ImageFilterFull
Obtiene la extensión del fichero
getFicherosSize() - Static method in class entorno.Entorno
 
getFilError() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getFinFila() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getFuente() - Method in class entorno.Dialogos.ConfigInterfaz
 
getFuenteActual() - Static method in class entorno.Entorno
 
getFullMaudeFile() - Static method in class entorno.Entorno
 
getGrafoMods() - Method in class entorno.emulador.ClaseVentanaLog
 
getGrafoTipos() - Method in class entorno.emulador.ClaseVentanaLog
 
getGraphGUI() - Method in class entorno.emulador.ClaseVentanaLog
 
getIcon(File) - Method in class entorno.Entorno.ImageFileView
Obtencion de la imagen asociada, si su extencion es .maude
getIniFila() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getInitCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getInitFullMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getIpMaude() - Static method in class entorno.Entorno
 
getLinError() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getLinea() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getLineaAntes() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getLineaPrompt() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Al borrar compruebo si se ha borrando antes de lineaPrompt para reajustar el desplazamiento ocasionado
getListaModulosDefinenFMaude() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve la lista de modulos usados para definir Full Maude
getListaModulosPredefinidosCore() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve una lista con los modulos predefinidos de Core Maude
getListaModulosPredefinidosFull() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve la lista de modulos predefinidos de Full Maude
getListaModulosPropiosCore() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve la lista de los modulos de Core Maude definidos por el usuario
getListaModulosPropiosFull() - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve la lista de los modulos de Full Maude definidos por el usuario
getLongitud() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
getMensErr() - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
getModulo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Obtiene el modulo de la base de datos a partir de su nombre
getModuloActual() - Method in class entorno.emulador.ClaseSubBarraHerramientas
Funcion que devuelve el modulo actual
getMostrado() - Method in class entorno.debugger.ItemHistorico
 
getName(File) - Method in class entorno.Entorno.ImageFileView
 
getNombre() - Method in class entorno.debugger.ItemHistorico
 
getNombreFicheroSalida() - Static method in class entorno.Entorno
 
getNombreModulo() - Method in class entorno.emulador.nodoIEP
 
getNombreModulo() - Method in class entorno.emulador.nodoMODULO
 
getNombreOp() - Method in class entorno.emulador.nodoOPERS
 
getPID() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Obtiene el pid del proceso maude.linux
getPath() - Method in class entorno.ClaseTexto
 
getPathAcrobatReader() - Static method in class entorno.Entorno
 
getPathCygwin(String) - Method in class entorno.emulador.ClaseVentanaLog.DaemonTask
Traduce la ruta para cygwin
getPathMaude() - Static method in class entorno.Entorno
 
getPestanaActiva() - Method in class entorno.emulador.ClaseVentanaLog
Funcion que devuelve la pestaña activa
getPreferredSize() - Method in class entorno.grafo.DrawingArea
 
getProcesoCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getPuertoMaude() - Static method in class entorno.Entorno
 
getRadioNodo() - Method in class entorno.grafo.DrawingArea
 
getResultadoMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
getRutaWeb(String) - Method in class entorno.Entorno
recoge la ruta via web
getSalidaFicherosPath() - Static method in class entorno.Entorno
 
getSalidaMaudeBuff() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
getSalidaSelected() - Static method in class entorno.Entorno
 
getSocket() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Obtiene el socket remoto de entrada / salida
getSocketControl() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Obtiene el socket remoto de entrada de control / salida de errores
getSubclasesDeLaClase(String) - Method in class entorno.emulador.ClaseModulosOperadores
Recupera ej cjto de clases hija de una clase padre dado por el argumento
getSubtiposDelTipo(String) - Method in class entorno.emulador.ClaseModulosOperadores
Recupera el cjto de tipos que incluye el tipo dado por el argumento
getTamanoFichero() - Method in class entorno.ClaseTexto
 
getTareaMaestra() - Method in class entorno.emulador.ClaseVentanaLog
 
getTextDesdePrompt() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Obtiene el texto desde q comienza a contar los comandos hasta el final del documento
getTextoActual() - Method in class entorno.Entorno
Devuelve el componente area de texto actual.
getTextoAt(int) - Method in class entorno.Entorno
Devuelve el componente area de texto dado por el indice.
getTextoBuscar() - Method in class entorno.Dialogos.DialogoBusqueda
 
getTipo() - Method in class entorno.emulador.nodoIEP
 
getTipoModulo() - Method in class entorno.emulador.nodoMODULO
 
getTiposModulos(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve un cjto de string con los tipos de los modulos
getTiposModulosRecursivo(String) - Method in class entorno.emulador.ClaseModulosOperadores
 
getTitulo() - Method in class entorno.ClaseTexto
 
getTypeDescription(File) - Method in class entorno.Entorno.ImageFileView
Descripcion del fichero
getUltimaModificacion() - Method in class entorno.ClaseTexto
 
getVectorTexto() - Method in class entorno.Entorno
 
getVentanaLog() - Method in class entorno.emulador.ClaseVentanaLog
 
getWorkPath() - Static method in class entorno.Entorno
 
grafoMods - Variable in class entorno.emulador.ClaseVentanaLog
El grafo actual de modulos Full Maude introducidos
grafoTipos - Variable in class entorno.emulador.ClaseVentanaLog
El grafo actual de tipos Full Maude introducidos
graph - Variable in class entorno.grafo.DrawingArea
 
grupoBotones - Variable in class entorno.Dialogos.ConfigInterfaz
 
grupoBotones - Variable in class entorno.Dialogos.DialogoBusqueda
 
grupoBotones - Variable in class entorno.Dialogos.DialogoReemplazar
 
grupoBotones - Variable in class entorno.grafo.GraphGUI
 
guardarADisco(ClaseTexto, File) - Method in class entorno.Entorno
Pasa el texto a disco usando el fichero f.
guardarBaseDatos(String) - Method in class entorno.emulador.ClaseModulosOperadores
almacena la base de datos en memoria fisica
guardarComoMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
guardarMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
guardarPestanaADisco(int, File) - Method in class entorno.Entorno
Guarda el contenido de la pestaña que esté activa en ClaseVentanaLog.
guardarPreferencias() - Method in class entorno.Entorno
Guarda las preferencias en el fichero localConfig.ini
guardarTxtADisco(String, File) - Method in class entorno.emulador.ClaseDialogoMostrar
Guarda un texto dado por el argumento a disco
guardarTxtAccion() - Method in class entorno.emulador.ClaseDialogoMostrar
Guarda la consulta realizada a la base de datos a disco

H

HEADER_SPACE - Variable in class entorno.CImprimir
Tamagno de la cabecera
HELP_ACCION_ABOUT - Static variable in interface entorno.MaudeEditorConstantes
 
HELP_ACCION_ABOUT_E - Static variable in interface entorno.MaudeEditorConstantes
 
HELP_AYUDA_MAUDE2 - Static variable in interface entorno.MaudeEditorConstantes
 
HELP_AYUDA_MAUDE2_E - Static variable in interface entorno.MaudeEditorConstantes
 
HELP_AYUDA_MAUDE_WORKSTATION - Static variable in interface entorno.MaudeEditorConstantes
 
HELP_AYUDA_MAUDE_WORKSTATION_E - Static variable in interface entorno.MaudeEditorConstantes
 
habilitadoCtrlC - Variable in class entorno.emulador.ClaseVentanaLog
Para evitar q se de un ctrl c
habilitarColores - Variable in class entorno.Dialogos.ConfigInterfaz
 
habilitarModulosCoreMaude() - Method in class entorno.emulador.ClaseModulosOperadores
Habilita la lectura de modulos tipo Core Maude en nuestra base de datos
habilitarModulosFullMaude() - Method in class entorno.emulador.ClaseModulosOperadores
Habilita la lectura de modulos tipo Full Maude en nuestra base de datos
habilitarSeccionUndo(ClaseTexto) - Static method in class entorno.MyUndoableEditListener
Cambia el estado de los botones segun se puedan rehacer o deshacer
habilitarVentanaLog() - Method in class entorno.emulador.ClaseVentanaLog
Para que se pueda editar la ventana de emulacion
hacerCtrlC() - Method in class entorno.emulador.ClaseVentanaLog
Hace el ctrl-c de maude
hacerLoopInit() - Method in class entorno.emulador.ClaseVentanaLog
Crea una HebraLoopInit para que realize un loop init
hacerVisible(boolean) - Method in class entorno.Dialogos.DialogoReemplazar
 
hashCode() - Method in class entorno.emulador.nodoIEP
 
hashCode() - Method in class entorno.emulador.nodoMODULO
 
hashCode() - Method in class entorno.emulador.nodoOPERS
 
helpURL - Variable in class entorno.VentanaAyuda
 
hyperlinkUpdate(HyperlinkEvent) - Method in class entorno.VentanaAyuda.MiHyperlinkListener
 

I

IDIOMA - Static variable in interface entorno.MaudeEditorConstantes
 
INCLUDING - Static variable in class entorno.emulador.nodoIEP
 
IP_SERVIDOR - Static variable in interface entorno.MaudeEditorConstantes
 
Imprimir(PageFormat, Font) - Method in class entorno.ClaseTexto
Inicializa la impresión
ImprimirAccion() - Method in class entorno.Entorno
Inicializa la impresión
InitCoreMaudeAccion() - Method in class entorno.Entorno
Inicia Core Maude.
InitFullMaudeAccion() - Method in class entorno.Entorno
Inicia Full Maude.
ItemHistorico - class entorno.debugger.ItemHistorico.
Clase: ItemHistorico Funcion: Usada para almacenar un historico de las reducciones efectuadas a cabo
ItemHistorico(String) - Constructor for class entorno.debugger.ItemHistorico
Constructor
iP - Static variable in class entorno.Entorno
Dirección Ip donde se encuentra Maude Server
idioma - Static variable in class entorno.Entorno
El idioma actual del entorno
idiomaTemp - Static variable in class entorno.Entorno
Para almacenar un posible cambio de idioma
imprimirMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
incrementarContador() - Method in class entorno.Dialogos.DialogoBarraEspera
Incrementa el contador y la barra de progreso.
incrementarContador(String) - Method in class entorno.Entorno.VentanaPresentacion
Incrementa el contador y la barra de progreso.
indeg - Variable in class entorno.grafo.Graph.Node
 
indiceHEditor - Variable in class entorno.VentanaAyuda
Para la ayuda del editor
iniFila - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
inicial - Variable in class entorno.Entorno.VentanaPresentacion
Etiqueta para mostrar el comentario de carga
inicializar() - Method in class entorno.BarraEstado
Inicializa la barra de estado, todos sus campos en blanco
inicializarAyuda(int) - Method in class entorno.VentanaAyuda
Muestra la url inicial asignada a la seccion indicada
iniciarCoreMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
iniciarDepurador - Variable in class entorno.ClaseBarraMenu
menu ejecutar
iniciarFullMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
iniciarTraza - Variable in class entorno.ClaseBarraMenu
menu ejecutar
inicio - Variable in class entorno.Dialogos.DialogoBusqueda
 
inicio - Variable in class entorno.Dialogos.DialogoReemplazar
 
initCoreMaude - Variable in class entorno.emulador.ClaseVentanaLog
 
initFullMaude - Variable in class entorno.emulador.ClaseVentanaLog
Comandos a ejecutar
insertUpdate(DocumentEvent) - Method in class entorno.Entorno.MiDocumentoListener
 
insertUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
insertUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
insertUpdateEmuladorMaude() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condiciones pa tratar el insertUpdate en el Emulador.
insertarReconociendoFichero(ClaseTexto, boolean, boolean, boolean, boolean) - Method in class entorno.emulador.ClaseModulosOperadores
Inserta un modulo en la base de datos .
irLinea - Variable in class entorno.ClaseBarraMenu
menu busqueda
irLinea - Variable in class entorno.MenuEmergente
 
irLineaAccion() - Method in class entorno.Entorno
Va a la linea indicada en la ventana activa
isColoreando() - Method in class entorno.ClaseTexto
 
isComandoEjecutandose() - Method in class entorno.emulador.ClaseVentanaLog
 
isConErrores() - Method in class entorno.emulador.ClaseVentanaLog
 
isConResultado() - Method in class entorno.emulador.ClaseVentanaLog
 
isCoreMaude - Variable in class entorno.emulador.ClaseModulosOperadores
cierto si es core maude o falso si es full maude
isCoreMaude() - Method in class entorno.emulador.ClaseModulosOperadores
 
isDefinFULL - Variable in class entorno.emulador.nodoMODULO
 
isDirected - Variable in class entorno.grafo.Graph
 
isDisponibleLookAndFeelWindows() - Static method in class entorno.Entorno
Funcion que clase que devuelve true si la plataforma es Windows. falso en caso contrario
isDrawn - Variable in class entorno.grafo.Graph.Edge
 
isEjecutandoCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
isEjecutandoseMaude() - Method in class entorno.emulador.ClaseVentanaLog
 
isEnabledEnglish() - Method in class entorno.Dialogos.ConfigInterfaz
 
isEnabledSpanish() - Method in class entorno.Dialogos.ConfigInterfaz
 
isEspañol() - Static method in class entorno.Entorno
 
isFullMaude - Variable in class entorno.emulador.nodoMODULO
 
isFullMaude() - Method in class entorno.emulador.nodoMODULO
 
isHabilitadoCtrlC() - Method in class entorno.emulador.ClaseVentanaLog
 
isInMapaTiposModulos(String, String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve true si el modulo dado por el primer argumento contiene el tipo
isIngles() - Static method in class entorno.Entorno
 
isMandadoModulo() - Method in class entorno.emulador.ClaseVentanaLog
 
isModificado() - Method in class entorno.ClaseTexto
 
isModoInterno() - Method in class entorno.emulador.ClaseVentanaLog
 
isModuloDefinicionFull(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve true si e modulo es un modulo usado para la definir Full Maude
isModuloDefinicionFull() - Method in class entorno.emulador.nodoMODULO
 
isModuloFullMaude(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve true si el modulo es predefinido
isModuloPredefinido(String) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve true si el modulo es predefinido
isMostrandoRespuesta() - Method in class entorno.emulador.ClaseVentanaLog
 
isNuevo() - Method in class entorno.ClaseTexto
 
isOkCeldas() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
isPalabrasPorDefecto() - Static method in class entorno.Entorno
Verifica si son las palabras por defecto para no tener que leer del fichero local de configuración
isPredefinido() - Method in class entorno.emulador.nodoMODULO
 
isPulsadoCtrlC() - Method in class entorno.emulador.ClaseVentanaLog
 
isReadyErrorBuff() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Devuelve true si hay algo en en buffer de error
isReadySalidaBuff() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Devuelve true si hay algo en en buffer de salida
isSeleccionando() - Method in class entorno.ClaseTexto
 
isSeleccionando() - Method in class entorno.grafo.DrawingArea
 
isServidorEnabled() - Static method in class entorno.Entorno
 
isSinFallos() - Method in class entorno.emulador.ClaseVentanaLog.DaemonTask
Indica si no ha habido fallos al crear el proceso Maude.
isTextoFullMaudeModules(ClaseTexto) - Method in class entorno.emulador.ClaseModulosOperadores
Metodo que mira si el esto a introducir es full maude, si no lo es, devuelve la linea con el error
isTraversable(File) - Method in class entorno.Entorno.ImageFileView
 
isWindows - Static variable in class entorno.Entorno
devuelve true si el sistema operativo en el que se esta ejecutando es windows
itemStateChanged(ItemEvent) - Method in class entorno.Dialogos.ConfigInterfaz.JComboBoxListener
 
itemStateChanged(ItemEvent) - Method in class entorno.grafo.GraphGUI
 

J

javaIcon - Variable in class entorno.Entorno.ImageFileView
Icono de archivos .maude
javaIconF - Variable in class entorno.Entorno.ImageFileView
Icono de archivos .fm
jfc - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 

K

keepNodeInside(Point) - Method in class entorno.grafo.DrawingArea
Ajusta la posición del nodo si es necesario para que quepa en el area.
keyPressed(KeyEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
keyPressedEmuladorMaude() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condiciones pa tratar el insertUpdate en el Emulador.
keyReleased(KeyEvent) - Method in class entorno.ClaseTexto.MyKeyListener
Detecta el pulsado de la tecla
keyReleased(KeyEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
keyTyped(KeyEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 

L

l1 - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
l2 - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
l3 - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
l4 - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
lAviso - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
lColoreadoLim - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
lEstilo - Variable in class entorno.Dialogos.ConfigInterfaz
 
lFamilia - Variable in class entorno.Dialogos.ConfigInterfaz
 
lIp - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
lNomFich - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
lNuevaP - Variable in class entorno.Dialogos.ConfigInterfaz
 
lPantallaLim - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
lPosicion - Variable in class entorno.debugger.ClaseDialogoReescritura
 
lPuerto - Variable in class entorno.Dialogos.ConfigInterfaz
 
lRuta - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
lSize - Variable in class entorno.Dialogos.ConfigInterfaz
 
lTamano - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
lTamaño - Variable in class entorno.grafo.GraphGUI
 
lTermino - Variable in class entorno.debugger.ClaseDialogoReescritura
 
lText - Variable in class entorno.Dialogos.ConfigInterfaz
 
lVeces - Variable in class entorno.debugger.ClaseDialogoReescritura
 
label - Variable in class entorno.grafo.GraphGUI
la etiqueta de la barra de estado
labelAyudaPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
labelCoreMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
labelEleccion - Variable in class entorno.emulador.ClaseDialogoMostrar
 
labelEleccion - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
labelFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
labelFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz
 
labelPathMaude - Variable in class entorno.Dialogos.ConfigInterfaz
 
labelWorkPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
lanzarVentanaGrafo() - Method in class entorno.emulador.ClaseVentanaLog
Lanza la ventana del grafo que muestra las relaciones entre especificaciones
lanzarVentanaGrafoTipos() - Method in class entorno.emulador.ClaseVentanaLog
Lanza la ventana de grafos que muestran tipos y clases
leerBaseDatos(String) - Method in class entorno.emulador.ClaseModulosOperadores
Rescata la base de datos
limitarloASoloLectura() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
limita el emulador a solo lectura estableciendo la zona posible a editar para conseguir el comportamiento de un interprete
linError - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
lineStyle - Variable in class entorno.VentanaAyuda
 
linea - Variable in class entorno.ClaseTexto
linea ultima en la que estaba el cursor
linea - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
La linea y la linea anterior del proceso maude
lineaAntes - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
La linea y la linea anterior del proceso maude
lineaPrompt - Variable in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
listaColores - Variable in class entorno.Dialogos.ConfigInterfaz
 
listaModulosAInsertar - Variable in class entorno.emulador.ClaseVentanaLog
Almacena la lista de modulos mandados que se tienene que insertar en la base de datos
listaPorcentajes - Static variable in class entorno.grafo.GraphGUI
 
listenerCaret - Variable in class entorno.ClaseTexto
Objeto controlador del evento que controla la lectura del cursor
listenerKey - Variable in class entorno.ClaseTexto
Objeto controlador del evento que controla la lectura de teclas para el coloreado
listenerRaton - Variable in class entorno.ClaseTexto
Objeto que controla los eventos del raton sobre el texto
listenerUndo - Variable in class entorno.ClaseTexto
Objeto controlador del evento de cambios en el texto editado
longitud - Variable in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 

M

MAUDE_ACCION_CLEAR_ERRORS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_CLEAR_ERRORS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_DISPLAY_GRAFO - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_DISPLAY_GRAFO_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_DISPLAY_GRAFO_TIPOS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_DISPLAY_GRAFO_TIPOS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_INIT_FULL_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_INIT_FULL_MAUDE_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_INIT_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_INIT_MAUDE_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_LOOP_INIT - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_LOOP_INIT_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_OPEN - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_OPEN_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_QUIT_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_QUIT_MAUDE_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_REWRITE - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_REWRITE_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_SAVE_AS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_SAVE_AS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_SHOW - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_ACCION_SHOW_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_ALL - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_ALL_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_CLASSES - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_CLASSES_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_EQ - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_EQ_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_LABELS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_LABELS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MEMBERSHIPS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MEMBERSHIPS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MESSAGES - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MESSAGES_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MODULE - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_MODULE_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_OPERS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_OPERS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_RULES - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_RULES_E - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_SORTS - Static variable in interface entorno.MaudeEditorConstantes
 
MAUDE_SHOW_SORTS_E - Static variable in interface entorno.MaudeEditorConstantes
 
MODFUNCIONAL - Static variable in class entorno.emulador.nodoMODULO
 
MODORIENTOBJETOS - Static variable in class entorno.emulador.nodoMODULO
 
MODSISTEMA - Static variable in class entorno.emulador.nodoMODULO
 
MODULO_ACTIVO - Static variable in interface entorno.MaudeEditorConstantes
 
MODULO_ACTIVO_E - Static variable in interface entorno.MaudeEditorConstantes
 
MOVE_NODE - Variable in class entorno.grafo.DrawingArea
 
MULTI_EDGE_SEP_SIZE - Variable in class entorno.grafo.DrawingArea
 
MaudeEditorConstantes - interface entorno.MaudeEditorConstantes.
Funcion: Almacena todos los strings que contienen el texto visualizado en el entorno
MaudeException - exception entorno.MaudeException.
Funcion: Muestra un cuadro de diálogo con la excepcion producida y devuelve el error por la consola de comandos
MaudeException(String) - Constructor for class entorno.MaudeException
 
MaudeWorkstation - class MaudeWorkstation.
Funcion: Encargada de ejecutar nuestro entorno
MaudeWorkstation() - Constructor for class MaudeWorkstation
 
MenuEmergente - class entorno.MenuEmergente.
Funcion: Implementa el menu emergente
MenuEmergente(Entorno) - Constructor for class entorno.MenuEmergente
Constructor: Crea un menu emergente en el JFrame dado como parametro
MyMouseDescripcion - class entorno.MyMouseDescripcion.
Funcion: Controla el evento de pasar el raton por cada opcion de los menuBar o la barra de herramienas.
MyMouseDescripcion(Entorno) - Constructor for class entorno.MyMouseDescripcion
Constructor
MyUndoableEditListener - class entorno.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
MyUndoableEditListener(ClaseTexto) - Constructor for class entorno.MyUndoableEditListener
Constructor de la clase
main(String[]) - Static method in class MaudeWorkstation
 
makeCopy() - Method in class entorno.grafo.Graph
Hace una copia del Grafo
makeCopySinAristas() - Method in class entorno.grafo.Graph
Hace una copia del Grafo
makeUndirectedCopy() - Method in class entorno.grafo.Graph
Copia un grafo no dirigido
mandadoModulo - Variable in class entorno.emulador.ClaseVentanaLog
Controla si se le ha mandado un modulo a maude
mandarComandoMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
mandarDirectMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
mandarLoopInitMenuItem - Variable in class entorno.ClaseBarraMenu
menu ejecutar
mapaAxiomasDeMiembro - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con los axiomas de miembro que contiene el modulo
mapaDeClases - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS
mapaDeEcuaciones - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con las ecuaciones que contiene el modulo
mapaDeJerarqClases - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con clave la clase y valor el cjto de subclases
mapaDeMensajes - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con clave el nomModulo y valor el cjtoOrd de nodoOPERS
mapaDeReglas - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con las reglas que contiene el modulo
mapaEtiquetasModulo - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con las etiquetas que contiene el modulo
mapaJerarquiaPalabras - Static variable in class entorno.Entorno
Contiene el mapa con la jerarquía de palabras para la iluminación sintáctica.
mapaOrdIEP - Variable in class entorno.emulador.ClaseModulosOperadores
introducimos en el mapa como clave el nombre del modulo y como valor el cjtoOrdIEP de nodoIEP
mapaOrdOpers - Variable in class entorno.emulador.ClaseModulosOperadores
 
mapaTipos - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con clave el tipo y valor el cjto de subtipos
mapaTiposModulo - Variable in class entorno.emulador.ClaseModulosOperadores
mapa con clave el nomModulo y valor el cjto de tipos
maudeMenu - Variable in class entorno.ClaseBarraMenu
 
maxAction - Variable in class entorno.grafo.DrawingArea
 
mayusculas - Variable in class entorno.Dialogos.DialogoBusqueda
 
mayusculas - Variable in class entorno.Dialogos.DialogoReemplazar
 
menuBar - Variable in class entorno.Entorno
La barra de menus
menuEmergente - Variable in class entorno.Entorno
Menu Emergente asociado a las áreas de texto
menuExit - Variable in class entorno.grafo.GraphGUI
 
menuFich - Variable in class entorno.grafo.GraphGUI
 
menuPage - Variable in class entorno.grafo.GraphGUI
 
menuPrinc - Variable in class entorno.ClaseBarraMenu
 
menuPrint - Variable in class entorno.grafo.GraphGUI
 
menuView - Variable in class entorno.grafo.GraphGUI
 
miAnalisis - Static variable in class entorno.ReconocerSintaxis
 
modificado - Variable in class entorno.BarraEstado
Indica si se ha modificado el texto
modificado - Variable in class entorno.ClaseTexto
indica si ha sido modificado.
modificado - Variable in class entorno.Dialogos.DialogoReemplazar
 
modoInterno - Variable in class entorno.emulador.ClaseVentanaLog
indica si estamos mandando a Maude mensajes internos obteniendo las respuestas sin que el usuario las vea
moduloActual - Variable in class entorno.debugger.DialogoEleccion
 
moduloEtiqActual - Variable in class entorno.debugger.DialogoEleccion
 
moduloSeleccAnterior - Variable in class entorno.emulador.ClaseSubBarraHerramientas
 
mostrado - Variable in class entorno.debugger.ItemHistorico
 
mostrandoRespuesta - Variable in class entorno.emulador.ClaseVentanaLog
indica si se está escribiendo una respuesta dada por Maude.
mostrarBufferError(boolean, boolean) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Muestra el buffer de error en el emulador o en la ventana Error según los argumentos
mostrarBufferError() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion pa mostrar buffer de error
mostrarBufferSalida(boolean, boolean) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Muestra el buffer de salida en el emulador o en la ventana Resultado según los argumentos
mostrarBufferSalida() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condicion pa mostrar buffer de salida
mostrarPresentacion() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Muestra la presentación de inicio de Maude
mouseClicked(MouseEvent) - Method in class entorno.Dialogos.ConfigInterfaz.PanelColores.MyMouseListener
 
mouseClicked(MouseEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
mouseEntered(MouseEvent) - Method in class entorno.MyMouseDescripcion
Este metodo es llamado cuando el raton entra en una opcion
mouseEntered(MouseEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
mouseExited(MouseEvent) - Method in class entorno.MyMouseDescripcion
Este metodo es llamado cuando el raton sale en una opcion
mouseExited(MouseEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
mousePressed(MouseEvent) - Method in class entorno.EventosRatonPopup
Metodo llamado cuando se produce el evento de pulsar con el raton sobre el area de texto
mousePressed(MouseEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
mouseReleased(MouseEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
moverNodosSelecc(int, int) - Method in class entorno.grafo.DrawingArea
 
msjesControl - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
canal de sockets donde se mandan msjes de control para hacer ctrlc y hacer un load fm.maude

N

NEGRO - Static variable in class entorno.emulador.ClaseVentanaLog
 
NOMBRE_FICH_SALIDA - Static variable in interface entorno.MaudeEditorConstantes
 
NO_ACCION - Static variable in class entorno.Entorno
 
NO_ACTION - Variable in class entorno.grafo.DrawingArea
 
Nodes - Variable in class entorno.grafo.Graph
 
NuevoAccion() - Method in class entorno.Entorno
Crea una nueva pestaña con un documento en blanco
name - Variable in class entorno.grafo.Graph.Edge
 
name - Variable in class entorno.grafo.Graph.Node
 
negrita - Variable in class entorno.MyMouseDescripcion
 
newGraph() - Method in class entorno.grafo.DrawingArea
 
nextNodeIndex - Variable in class entorno.grafo.DrawingArea
 
nodeRadius - Variable in class entorno.grafo.DrawingArea
 
nodoIEP - class entorno.emulador.nodoIEP.
Clase: nodoIEP Funcion: Clasifica el nodo segun sea including, protecting o extending
nodoIEP(String, String) - Constructor for class entorno.emulador.nodoIEP
 
nodoMODULO - class entorno.emulador.nodoMODULO.
Funcion: clasifica el modulo segun sea predefinido, definicion de full maude, ...
nodoMODULO(String, boolean, String, boolean, boolean) - Constructor for class entorno.emulador.nodoMODULO
 
nodoOPERS - class entorno.emulador.nodoOPERS.
 
nodoOPERS(String, String) - Constructor for class entorno.emulador.nodoOPERS
 
nodos_selecc - Variable in class entorno.grafo.DrawingArea
 
nomModuloAct - Variable in class entorno.emulador.ClaseDialogoMostrar
 
nombre - Variable in class entorno.debugger.DialogoEleccion
 
nombre - Variable in class entorno.debugger.ItemHistorico
 
nombre - Variable in class entorno.emulador.nodoIEP
 
nombre - Variable in class entorno.emulador.nodoMODULO
 
nombre - Variable in class entorno.emulador.nodoOPERS
 
nombreFicheroSalida - Static variable in class entorno.Entorno
Nombre de los ficheros de salida en la traza
nombreModulo - Variable in class entorno.emulador.ClaseModulosOperadores
 
normal - Variable in class entorno.MyMouseDescripcion
 
nuevaBusqueda - Variable in class entorno.Dialogos.DialogoBusqueda
 
nuevaBusqueda - Variable in class entorno.Dialogos.DialogoReemplazar
 
nuevaPalabra - Variable in class entorno.Dialogos.ConfigInterfaz
 
nuevo - Variable in class entorno.ClaseTexto
indica si el texto es nuevo o no.
nuevoMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
numFichero - Variable in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
num_doc - Variable in class entorno.Entorno
es el nº q se pone tras crear un nuevo doc

O

obtenerContenidoModulo(String) - Method in class entorno.emulador.ClaseVentanaLog
manda un show module o show all a maude devolviendo el resultado dado por maude
obtenerContenidoModuloTrasInsertarlo(String) - Method in class entorno.emulador.ClaseVentanaLog
manda un show module a maude devolviendo el resultado dado por maude.
obtenerRespuestaInternaShow() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
hace una espera de la respuesta interna y obtiene la salida de maude hasta que se muestra el prompt
origen - Variable in class entorno.Dialogos.DialogoReemplazar
 
outdeg - Variable in class entorno.grafo.Graph.Node
 

P

PADDING - Variable in class entorno.CImprimir
margen
PALABRAS_ECUACIONES - Static variable in interface entorno.MaudeEditorConstantes
 
PALABRAS_MODULOS - Static variable in interface entorno.MaudeEditorConstantes
 
PALABRAS_PROPIEDADES - Static variable in interface entorno.MaudeEditorConstantes
 
PALABRAS_VARIABLES - Static variable in interface entorno.MaudeEditorConstantes
 
PAQUETE - Variable in class entorno.VentanaAyuda
 
PESTANA_EMULADOR - Static variable in interface entorno.MaudeEditorConstantes
 
PESTANA_ERROR - Static variable in interface entorno.MaudeEditorConstantes
 
PESTANA_RESULT - Static variable in interface entorno.MaudeEditorConstantes
 
PREDEFINIR - Variable in class entorno.grafo.DrawingArea
 
PREFERENCES - Static variable in interface entorno.MaudeEditorConstantes
 
PREFERENCES_E - Static variable in interface entorno.MaudeEditorConstantes
 
PROMPT_FULL_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
PROTECTING - Static variable in class entorno.emulador.nodoIEP
 
PUERTO_SERVIDOR - Static variable in interface entorno.MaudeEditorConstantes
 
p_Maude - Variable in class entorno.emulador.ClaseVentanaLog
la tarea Maude
padre - Variable in class entorno.VentanaAyuda
el editor al que pertenece esta ayuda
pageSetupMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
pages - Variable in class entorno.CImprimir
Libro de paginas que representa el documento
paginateText(List, PageFormat, Font) - Method in class entorno.CImprimir
Pagina las lineas de texto obtenidas del documento.
paintComponent(Graphics) - Method in class entorno.grafo.DrawingArea
Método que pinta en el area de dibujo el grafico 'g'
palabrasAzul - Static variable in class entorno.Entorno
 
palabrasBurdeo - Static variable in class entorno.Entorno
Palabras reconocidas por defecto en el caso de fallo
palabrasRojo - Static variable in class entorno.Entorno
 
palabrasVerde - Static variable in class entorno.Entorno
 
panelAbajo - Variable in class entorno.Dialogos.DialogoBusqueda
 
panelAbajo - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelAbajo - Variable in class entorno.debugger.ClaseDialogoReescritura
 
panelArriba - Variable in class entorno.Dialogos.DialogoBusqueda
 
panelArriba - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelArriba - Variable in class entorno.debugger.ClaseDialogoReescritura
 
panelArriba2 - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelAvanzado - Variable in class entorno.Dialogos.ConfigInterfaz
 
panelAyuda - Variable in class entorno.VentanaAyuda
Panel de texto para mostrar la ayuda seleccionada
panelCaracter - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
panelCentral - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
panelCentro - Variable in class entorno.Dialogos.DialogoBusqueda
 
panelCentro - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelCentro - Variable in class entorno.debugger.ClaseDialogoReescritura
 
panelCentro2 - Variable in class entorno.Dialogos.DialogoBusqueda
 
panelCentro2 - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelCentro2 - Variable in class entorno.debugger.ClaseDialogoReescritura
 
panelDerecho - Variable in class entorno.Dialogos.DialogoBusqueda
 
panelDerecho - Variable in class entorno.Dialogos.DialogoReemplazar
 
panelDerecho - Variable in class entorno.debugger.ClaseDialogoReescritura
 
panelEditor - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
panelEmulador - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
panelFondo - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
panelIndices - Variable in class entorno.VentanaAyuda
Panel de lenguetas para situar ambos indices
panelList - Variable in class entorno.debugger.DialogoEleccion
 
panelMuestra - Variable in class entorno.emulador.ClaseDialogoMostrar
 
panelPalabras - Variable in class entorno.Dialogos.ConfigInterfaz
 
panelPathsCentral - Variable in class entorno.Dialogos.ConfigInterfaz
 
panelPestana - Variable in class entorno.Entorno
El panel de las pestañas
panelPrincipal - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
panelSeleccion - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
panelTexto - Variable in class entorno.Dialogos.DialogoLinea
 
panelTextoS - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
pararDaemonTask() - Method in class entorno.emulador.ClaseVentanaLog.DaemonTask
Quita el proceso Maude
path - Variable in class entorno.ClaseTexto
indica el path
pathAcrobatReader - Static variable in class entorno.Entorno
Dirección donde se encuentra Acrobat reader o cualquier programa que lea pdf
pathMaude - Static variable in class entorno.Entorno
Ruta donde se encuentra Maude
pegar - Variable in class entorno.MenuEmergente
 
pegarMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
pid - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
pid
playWithLineStyle - Variable in class entorno.VentanaAyuda
Para indicar el estilo de linea a dibujar en los arboles
popupMenuCanceled(PopupMenuEvent) - Method in class entorno.debugger.ClaseDialogoReescritura
eventos que controlan el menu desplegable de eleccion de modulo
popupMenuCanceled(PopupMenuEvent) - Method in class entorno.emulador.ClaseSubBarraHerramientas
 
popupMenuCanceled(PopupMenuEvent) - Method in class entorno.grafo.GraphGUI
 
popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class entorno.debugger.ClaseDialogoReescritura
 
popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class entorno.emulador.ClaseSubBarraHerramientas
 
popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class entorno.grafo.GraphGUI
 
popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class entorno.debugger.ClaseDialogoReescritura
 
popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class entorno.emulador.ClaseSubBarraHerramientas
 
popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class entorno.grafo.GraphGUI
 
posicionActual - Variable in class entorno.Dialogos.DialogoBusqueda
 
posicionActual - Variable in class entorno.Dialogos.DialogoReemplazar
 
position - Variable in class entorno.grafo.Graph.Node
 
predefined - Variable in class entorno.emulador.nodoMODULO
 
predefinido - Variable in class entorno.grafo.Graph.Node
 
preferenciasMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
preferredSize - Variable in class entorno.grafo.DrawingArea
 
prefix - Variable in class entorno.VentanaAyuda.BookInfo
 
prefix2 - Variable in class entorno.VentanaAyuda.BookInfo
 
presentacion - Variable in class entorno.Entorno
La ventana de presentación mientras se crean los objetos del entorno
print(Graphics, PageFormat, int) - Method in class entorno.CImprimir.MEditorPage
Este metodo es llamado cuando se pretende imprimir una pagina Aqui se indica como imprimir una pagina
print(Graphics, PageFormat, int) - Method in class entorno.grafo.DrawingArea
Imprime el grafo g con el formato de pagina pf y el nº de pagina pi.
printFooter(Graphics, int, int, int, int) - Method in class entorno.CImprimir.MEditorPage
Imprime el pie de pagina
printHeader(Graphics, int, int, int, int, int) - Method in class entorno.CImprimir.MEditorPage
Imprime la cabecera
printText(List, Font, PageFormat) - Method in class entorno.CImprimir
Imprime el texto.
printThis() - Method in class entorno.grafo.DrawingArea
 
printerPageFormat - Variable in class entorno.Entorno
El formato de la impresión de página.
printerPageFormat - Variable in class entorno.grafo.DrawingArea
 
printerSetup() - Method in class entorno.grafo.DrawingArea
 
priterSetupAccion() - Method in class entorno.Entorno
Configuración del formato de la pagina de impresión
procesoCerrar(int, ClaseTexto) - Method in class entorno.Entorno
Cierra la pestaña numero indice que contiene el texto tex.
procesoCoreMaude - Variable in class entorno.emulador.ClaseVentanaLog
el proceso de Core Maude.
procesoGuardar() - Method in class entorno.Entorno
Guarda el texto actual.
procesoGuardarComo() - Method in class entorno.Entorno
Guardar como... .
pto_click_nodo - Variable in class entorno.grafo.DrawingArea
 
pto_final - Variable in class entorno.grafo.DrawingArea
 
pto_origen - Variable in class entorno.grafo.DrawingArea
 
puerto - Static variable in class entorno.Entorno
Puerto donde se encuentra Maude Server
pulsadoCtrlC - Variable in class entorno.emulador.ClaseVentanaLog
indica si se ha pulsado el Ctrol-C.
pulsadoShowModule - Variable in class entorno.emulador.ClaseDialogoMostrar
 
punto - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
punto2 - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
punto3 - Variable in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 

Q

QuitCoreMaudeAccion() - Method in class entorno.Entorno
Quita Maude
quitarCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog
Elimina el proceso Maude
quitarCoreMaude2() - Method in class entorno.emulador.ClaseVentanaLog
Elimina el proceso Maude

R

REMOVE_EDGE - Variable in class entorno.grafo.DrawingArea
 
REMOVE_NODE - Variable in class entorno.grafo.DrawingArea
 
RENOMBRAR - Variable in class entorno.grafo.DrawingArea
 
RESULTADO_POS - Static variable in class entorno.emulador.ClaseVentanaLog
 
ROJO - Static variable in class entorno.emulador.ClaseVentanaLog
 
RUTA_ACROBAT_READER - Static variable in interface entorno.MaudeEditorConstantes
 
RUTA_DOCUMENT_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
RUTA_FICH_SALIDA - Static variable in interface entorno.MaudeEditorConstantes
 
RUTA_FULL_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
RUTA_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
RUTA_TRABAJO - Static variable in interface entorno.MaudeEditorConstantes
 
ReconocerSintaxis - class entorno.ReconocerSintaxis.
Funcion: Proporciona métodos para introducir texto con la sintaxis realzada en un área de texto o realzar la sintaxis de ésta.
ReconocerSintaxis() - Constructor for class entorno.ReconocerSintaxis
 
ReconocerSintaxis.MiTareaAnalisis - class entorno.ReconocerSintaxis.MiTareaAnalisis.
Funcion: Realiza el realzado de la sintaxis mientras la ventana principal permanece bloqueada
ReconocerSintaxis.MiTareaAnalisis(Entorno, boolean, boolean) - Constructor for class entorno.ReconocerSintaxis.MiTareaAnalisis
Constructor
ReemplazarAccion() - Method in class entorno.Entorno
Reemplaza un texto por otro en la ventana activa.
rAzul - Variable in class entorno.Dialogos.ConfigInterfaz
 
rBurdeo - Variable in class entorno.Dialogos.ConfigInterfaz
 
rButtonA - Variable in class entorno.Dialogos.ConfigInterfaz
 
rButtonB - Variable in class entorno.Dialogos.ConfigInterfaz
 
rButtonGr - Variable in class entorno.Dialogos.ConfigInterfaz
 
rComentario - Variable in class entorno.Dialogos.ConfigInterfaz
 
rNormal - Variable in class entorno.Dialogos.ConfigInterfaz
 
rRojo - Variable in class entorno.Dialogos.ConfigInterfaz
 
rVerde - Variable in class entorno.Dialogos.ConfigInterfaz
 
randomGraph() - Method in class entorno.grafo.DrawingArea
 
reconocerCaracteresTxT(ClaseTexto) - Static method in class entorno.ReconocerSintaxis
Introduce un texto en un area de texto con toda su sintaxis realzada incluyendo comentarios
reconocerCaracteresTxTDesde(int, int, int) - Method in class entorno.ClaseTexto.MyKeyListener
Introduce un texto en un area de texto con toda su sintaxis realzada incluyendo comentarios
reconocerVentana(ClaseTexto) - Method in class entorno.ReconocerSintaxis.MiTareaAnalisis
Prepara la ventana para realizar el realzado
recuperarListaConNombreModulos(ClaseTexto) - Method in class entorno.emulador.ClaseModulosOperadores
Devuelve una lista con los nombres de modulos que contiene un texto dado por el argumento
reemTodo - Variable in class entorno.Dialogos.DialogoReemplazar
 
reemplazar - Variable in class entorno.ClaseBarraMenu
menu busqueda
reemplazar - Variable in class entorno.MenuEmergente
 
reescrituraAccion() - Method in class entorno.Entorno
Muestra el dialogo que envía comandos de reescritura
refrescarPanelSalidaMaude() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
rehacerMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
removeEdge(Graph.Node, Graph.Node) - Method in class entorno.grafo.Graph
Borra una arista entre 2 nodos
removeNewLines(String) - Method in class entorno.CImprimir
Elimina los retornos de carro para que no aparezcan en la impresion
removeNode(Point) - Method in class entorno.grafo.DrawingArea
Borra un nodo del grafo que esté en la posición dada Devuelve true si el nodo ha sido borrado
removeNode(Graph.Node) - Method in class entorno.grafo.Graph
Borra el nodo dado n
removeNode(String) - Method in class entorno.grafo.Graph
Borra el nodo dado por el nombre name
removeUpdate(DocumentEvent) - Method in class entorno.Entorno.MiDocumentoListener
 
removeUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude
 
removeUpdate(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
removeUpdateEmuladorMaude() - Method in class entorno.emulador.ClaseVentanaLog.ControlFlags
condiciones pa tratar el removeUpdate en el Emulador
removerPestana(int) - Method in class entorno.Entorno
Cierra la pestaña dada por el indice.
resetGraph() - Method in class entorno.grafo.DrawingArea
 
resetLinea() - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
resetear() - Method in class entorno.debugger.ClaseDepurador
resetea la ventana del depurador
resetear() - Method in class entorno.debugger.ClaseDialogoReescritura
Resetea este diálogo
resetear() - Method in class entorno.debugger.ClaseTraza
resetea la ventana
resultadoMaude - Variable in class entorno.emulador.ClaseVentanaLog
pestaña 1. último resultado de Maude
run() - Method in class entorno.ReconocerSintaxis.MiTareaAnalisis
Codigo que ejecuta la subtarea
run() - Method in class entorno.emulador.ClaseVentanaLog.DaemonTask
 
run() - Method in class entorno.emulador.ClaseVentanaLog.HebraLoopInit
 
run() - Method in class entorno.emulador.ClaseVentanaLog.ProcesoEjecutarCoreMaude
 
run() - Method in class entorno.emulador.ClaseVentanaLog.TareaCrearDestruirCoreMaude
 
ruta - Variable in class entorno.debugger.ClaseDepurador
 
ruta - Variable in class entorno.debugger.ClaseTraza
 

S

SERVIDOR_EVENTO_CTRL_C - Static variable in interface entorno.MaudeEditorConstantes
 
SERVIDOR_INSERTAR_FULL_MAUDE - Static variable in interface entorno.MaudeEditorConstantes
 
SI_ACCION - Static variable in class entorno.Entorno
 
SalirAccion() - Method in class entorno.Entorno
Sale del programa y comprueba si hay algo que salvar antes.
SetCambioColores(boolean) - Method in class entorno.Dialogos.ConfigInterfaz
 
SetIconoAccion() - Method in class entorno.Entorno
Establece el icono testigo sin movimiento
SetIconoCorriendoAccion() - Method in class entorno.Entorno
Establece el icono testigo con movimiento
SetIconoNormalAccion() - Method in class entorno.Entorno
Establece el icono testigo de color negro y sin movimiento
SetIconoRojoAccion() - Method in class entorno.Entorno
Establece el icono testigo de color rojo y sin movimiento
salidaFicherosPath - Static variable in class entorno.Entorno
Ruta de los ficheros de salida en la traza
salidaMaudeBuff - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
las salidas de Maude
salidaSelected - Static variable in class entorno.Entorno
True si esta activado la salida de Maude a memoria fisica durante la traza
salir - Static variable in class entorno.ReconocerSintaxis
Permite el desbloqueo de la aplicacion en caso de que el componente swing (dialogo) no funcione correstamente con la concurrencia
salirMenuItem - Variable in class entorno.ClaseBarraMenu
menu archivo
scrollPane - Variable in class entorno.grafo.GraphGUI
la barra de desplazamiento del area de dibujo
seleccionando - Variable in class entorno.ClaseTexto
indica si se esta seleccionando el texto
seleccionando - Variable in class entorno.grafo.DrawingArea
 
seleccionarColor() - Method in class entorno.Dialogos.ConfigInterfaz
 
seleccionarOperadoresConNombre(String, boolean) - Method in class entorno.debugger.DialogoEleccion
selecciona o deselecciona todos los operadores con el mismo nombre
seleccionarTodo - Variable in class entorno.MenuEmergente
 
seleccionarTodoAccion() - Method in class entorno.Entorno
Selecciona todo el documento
seleccionarTodoMenuItem - Variable in class entorno.ClaseBarraMenu
menu edicion
servidor - Static variable in class entorno.Entorno
Nos indica si esta habilitado o no Maude Server
setA(String) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
setAyudaPath(String) - Static method in class entorno.Entorno
 
setB(String) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
setBuffControl(BufferedWriter) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
setBufferSizeColor(int) - Static method in class entorno.Entorno
 
setBufferSizeEmulator(int) - Static method in class entorno.Entorno
 
setC(String) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
setClave(int) - Method in class entorno.ClaseTexto
 
setClaveOrigen(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setClickAction(int) - Method in class entorno.grafo.DrawingArea
 
setColError(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setColoreando(boolean) - Method in class entorno.ClaseTexto
 
setComandoEjecutandose(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setConErrores(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setConResultado(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setCursorAlFinal() - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
Pone el cursor al final del texto
setD(String) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
setDisabledDeshacerRehacer() - Method in class entorno.ClaseTexto
Desactiva el evento deshacer Rehacer
setEjecutandoCoreMaude(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setEjecutandoseMaude(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setEnabled(boolean) - Method in class entorno.Dialogos.ConfigInterfaz.JPanelIp
 
setEnabledDeshacerRehacer() - Method in class entorno.ClaseTexto
Activa el evento deshacer Rehacer
setEntradaMaudeBuff(BufferedWriter) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
setErrorMaudeBuff(BufferedReader) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
setEscala(double) - Method in class entorno.grafo.DrawingArea
 
setFicherosSize(int) - Static method in class entorno.Entorno
 
setFilError(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setFinFila(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setFuenteActual(Font) - Static method in class entorno.Entorno
 
setFullMaudeFile(String) - Static method in class entorno.Entorno
 
setGrafoMods(Graph) - Method in class entorno.emulador.ClaseVentanaLog
 
setGrafoTipos(Graph) - Method in class entorno.emulador.ClaseVentanaLog
 
setGraph(Graph) - Method in class entorno.grafo.DrawingArea
 
setGraph(Graph) - Method in class entorno.grafo.GraphGUI
 
setHabilitadoCtrlC(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setIdioma(String) - Static method in class entorno.Entorno
 
setIdiomaSpanish() - Method in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
setIdiomaSpanish() - Method in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
setIniFila(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setInitCoreMaude(String[]) - Method in class entorno.emulador.ClaseVentanaLog
 
setInitFullMaude(String[]) - Method in class entorno.emulador.ClaseVentanaLog
 
setIpMaude(InetAddress) - Static method in class entorno.Entorno
 
setLanguageSpanish() - Method in class entorno.ClaseBarraHerramientas
Establece el idioma de la barra de herramientas a español
setLanguageSpanish() - Method in class entorno.ClaseBarraMenu
Establece el idioma de la barra de menu a español
setLanguageSpanish() - Method in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
setLanguageSpanish() - Method in class entorno.Dialogos.ConfigInterfaz
 
setLanguageSpanish() - Method in class entorno.Dialogos.DialogoBusqueda
 
setLanguageSpanish() - Method in class entorno.Dialogos.DialogoLinea
 
setLanguageSpanish() - Method in class entorno.Dialogos.DialogoReemplazar
 
setLanguageSpanish() - Method in class entorno.MenuEmergente
Actualiza el menu a español
setLanguageSpanish() - Method in class entorno.debugger.ClaseDepurador
Actualiza a ventana a español
setLanguageSpanish() - Method in class entorno.debugger.ClaseDialogoReescritura
Establece el idioma a español
setLanguageSpanish() - Method in class entorno.debugger.ClaseTraza
actualiza la ventana a español
setLanguageSpanish() - Method in class entorno.debugger.DialogoEleccion
actualiza la ventana a español
setLanguageSpanish() - Method in class entorno.emulador.ClaseDialogoMostrar
actualiza la ventana a español
setLanguageSpanish() - Method in class entorno.emulador.ClaseSubBarraHerramientas
Actualiza la barra de herramientas a español
setLanguageSpanish() - Method in class entorno.grafo.GraphGUI
Establece la ventana a español
setLinError(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setLineaPrompt(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
 
setLongitud(int) - Method in class entorno.emulador.ClaseVentanaLog.ClaseErrorMaude.MensajeError
 
setMandadoModulo(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setModificado(boolean) - Method in class entorno.ClaseTexto
 
setModoInterno(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setMostrandoRespuesta(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setNextNodeIndex() - Method in class entorno.grafo.DrawingArea
 
setNombreFicheroSalida(String) - Static method in class entorno.Entorno
 
setNuevo(boolean) - Method in class entorno.ClaseTexto
 
setPath(String) - Method in class entorno.ClaseTexto
 
setPathAcrobatReader(String) - Static method in class entorno.Entorno
 
setPathMaude(String) - Static method in class entorno.Entorno
 
setProcesoCoreMaude(ClaseVentanaLog.ProcesoEjecutarCoreMaude) - Method in class entorno.emulador.ClaseVentanaLog
 
setProperty(int, boolean) - Method in class entorno.grafo.DrawingArea
Establece las propiedades del grafo.
setPuertoMaude(int) - Static method in class entorno.Entorno
 
setPulsadoCtrlC(boolean) - Method in class entorno.emulador.ClaseVentanaLog
 
setRadioNodo(int) - Method in class entorno.grafo.DrawingArea
 
setResetUndoRedo() - Method in class entorno.ClaseTexto
Resetea el evento deshacer/Rehacer
setSalidaFicherosPath(String) - Static method in class entorno.Entorno
 
setSalidaMaudeBuff(BufferedReader) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
 
setSalidaSelected(boolean) - Static method in class entorno.Entorno
 
setSeleccionando(boolean) - Method in class entorno.ClaseTexto
 
setSeleccionando(boolean) - Method in class entorno.grafo.DrawingArea
 
setSelectedEnglish() - Method in class entorno.Dialogos.ConfigInterfaz
 
setSelectedSpanish() - Method in class entorno.Dialogos.ConfigInterfaz
 
setServidor(boolean) - Static method in class entorno.Entorno
 
setSizeNodesAccion() - Method in class entorno.grafo.GraphGUI
Cambia el tamaño del radio de los nodos
setTamanoFichero(long) - Method in class entorno.ClaseTexto
 
setTextoPorClave(int) - Method in class entorno.Entorno
Selecciona el texto dado por la clave.
setTitulo(String) - Method in class entorno.ClaseTexto
 
setUltimaModificacion(Date) - Method in class entorno.ClaseTexto
 
setVisible(boolean) - Method in class entorno.BarraEstado
Permite hacer visible o no la barra de estado
setWorkPath(String) - Static method in class entorno.Entorno
 
showConfigInterfaz() - Method in class entorno.Dialogos
Muestra el dialogo de configuracion
showDialogo() - Method in class entorno.Dialogos.DialogoBusqueda
 
showDialogoBarraEspera(int) - Method in class entorno.Dialogos
Muestra el dialogo de la barra de espera
showDialogoBusqueda() - Method in class entorno.Dialogos
Muestra el dialogo de busqueda
showDialogoLinea() - Method in class entorno.Dialogos
Muestra el dialogo de ir a linea
showDialogoReemplazar() - Method in class entorno.Dialogos
Muestra el dialogo de reemplazar
showEdgeText - Variable in class entorno.grafo.Graph
 
showNodeText - Variable in class entorno.grafo.Graph
 
sinFallos - Variable in class entorno.emulador.ClaseVentanaLog.DaemonTask
 
smallTitleFont - Static variable in class entorno.CImprimir
Fuente para la cabecera
socket - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
los sockets si estamos en red
socketControl - Variable in class entorno.emulador.ClaseVentanaLog.Bufferes
los sockets si estamos en red
splitPane - Variable in class entorno.Entorno
La barra separadora entre panelPestana y ventanaLog.
startNode - Variable in class entorno.grafo.DrawingArea
 
stateChanged(ChangeEvent) - Method in class entorno.VentanaAyuda.MyChangeListener
 
statusTexts - Variable in class entorno.grafo.DrawingArea
the messages to display in the status bar for each click action
stopNode - Variable in class entorno.grafo.DrawingArea
 
subMenu - Variable in class entorno.grafo.GraphGUI
 
subToolBar - Variable in class entorno.Entorno
La barra de herramientas inferior
syntaxColor - Static variable in class entorno.Entorno
Indica que esta deshabilitada la coloracion de la sintaxis

T

TAMANO_BUFFER_COLOR - Static variable in interface entorno.MaudeEditorConstantes
 
TAMANO_BUFFER_EMULADOR - Static variable in interface entorno.MaudeEditorConstantes
 
TAMANO_FICH_SALIDA - Static variable in interface entorno.MaudeEditorConstantes
 
TAMANO_LETRA - Static variable in interface entorno.MaudeEditorConstantes
 
TEORIAFUNCIONAL - Static variable in class entorno.emulador.nodoMODULO
 
TEORIAORIENTOBJETOS - Static variable in class entorno.emulador.nodoMODULO
 
TEORIASISTEMA - Static variable in class entorno.emulador.nodoMODULO
 
TIPO_LETRA - Static variable in interface entorno.MaudeEditorConstantes
 
TITULO_NUEVO - Static variable in interface entorno.MaudeEditorConstantes
 
TITULO_VENT_PRINC - Static variable in interface entorno.MaudeEditorConstantes
 
TITULO_VENT_PRINC_CORE - Static variable in interface entorno.MaudeEditorConstantes
 
TITULO_VENT_PRINC_FULL - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_ACTIVAR - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_ACTIVAR_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_CONDITION - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_CONDITION_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_EQ - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_EQ_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_ETIQUETAS - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_ETIQUETAS_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_MB - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_MB_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_MODULOS - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_MODULOS_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_OPERADORES - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_OPERADORES_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_RL - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_RL_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SELECT - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SELECT_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SELECT_WHAT - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SELECT_WHAT_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SUBSTITUTION - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_SUBSTITUTION_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_TITULO - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_TITULO_E - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_WHOLE - Static variable in interface entorno.MaudeEditorConstantes
 
TRAZA_WHOLE_E - Static variable in interface entorno.MaudeEditorConstantes
 
tColoreadoLim - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
tIp - Variable in class entorno.Dialogos.ConfigInterfaz
 
tNomFich - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
tPantallaLim - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
tPosicion - Variable in class entorno.debugger.ClaseDialogoReescritura
 
tPuerto - Variable in class entorno.Dialogos.ConfigInterfaz
 
tRuta - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
tTamano - Variable in class entorno.Dialogos.ConfigInterfaz.PanelAvanzado
 
tTermino - Variable in class entorno.debugger.ClaseDialogoReescritura
 
tVeces - Variable in class entorno.debugger.ClaseDialogoReescritura
 
tabbedPane - Variable in class entorno.Dialogos.ConfigInterfaz
 
tabbedPane - Variable in class entorno.emulador.ClaseVentanaLog
 
tamanoFichero - Variable in class entorno.ClaseTexto
Indica el numero de byte de este documento en disco (de la ultima vez que se guardo)
tareaCrearDestruirCoreMaude - Variable in class entorno.emulador.ClaseVentanaLog
la hebra que se encarga de esperar a que se destruya la tarea Maude para actualizar el entorno
tareaMaestra - Variable in class entorno.emulador.ClaseVentanaLog
tarea q controlará y llamará a las demás tareas.
teclaCambios(KeyEvent) - Method in class entorno.ClaseTexto.MyKeyListener
Comprueba si la tecla pulsada se trata de una tecla que inserta un caracter en el texto como: a,b,ENTER,DELETE o no como: SHIFT o CTRL
teclaPulsada - Variable in class entorno.ClaseTexto.MyKeyListener
 
terminarProcesoCoreMaude() - Method in class entorno.emulador.ClaseVentanaLog.ProcesoEjecutarCoreMaude
 
text - Variable in class entorno.CImprimir.MEditorPage
 
text - Variable in class entorno.ClaseTexto.MyCaretListener
 
text - Variable in class entorno.ClaseTexto.MyKeyListener
 
text - Variable in class entorno.Dialogos.DialogoBusqueda
 
text - Variable in class entorno.Dialogos.DialogoReemplazar
 
text - Variable in class entorno.grafo.Graph.Edge
 
text - Variable in class entorno.grafo.Graph.Node
 
textAnadirFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
textAyudaPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
textComboEleccion - Variable in class entorno.debugger.ClaseDialogoReescritura
 
textCoreMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
textFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
 
textFullMaude - Variable in class entorno.Dialogos.ConfigInterfaz
 
textPathMaude - Variable in class entorno.Dialogos.ConfigInterfaz
 
textWorkPath - Variable in class entorno.Dialogos.ConfigInterfaz
 
texto - Variable in class entorno.Entorno.MiDocumentoListener
 
texto - Variable in class entorno.MyUndoableEditListener
 
textoBuscar - Variable in class entorno.Dialogos.DialogoBusqueda
 
textoBuscar - Variable in class entorno.Dialogos.DialogoReemplazar
 
textoLinea - Variable in class entorno.Dialogos.DialogoLinea
 
textoNuevo - Variable in class entorno.Dialogos.DialogoReemplazar
 
tipo - Variable in class entorno.emulador.nodoIEP
 
tipoModulo - Variable in class entorno.emulador.nodoMODULO
 
titBotones - Variable in class entorno.Dialogos.ConfigInterfaz
 
titPanelPalabras - Variable in class entorno.Dialogos.ConfigInterfaz
 
titleFont - Static variable in class entorno.CImprimir
Fuente para el titulo
titulEjem - Variable in class entorno.Dialogos.ConfigInterfaz
 
titulo - Variable in class entorno.ClaseTexto
indica el titulo del texto.
titulo - Variable in class entorno.Dialogos.DialogoBusqueda
 
tituloCentral - Variable in class entorno.Dialogos.ConfigInterfaz.PanelColores
 
tituloDepurador - Variable in class entorno.debugger.ClaseDepurador
 
tituloTraza - Variable in class entorno.debugger.ClaseTraza
 
toNode - Variable in class entorno.grafo.Graph.Edge
 
toString() - Method in class entorno.VentanaAyuda.BookInfo
 
toString() - Method in class entorno.debugger.ItemHistorico
 
toString() - Method in class entorno.emulador.nodoIEP
 
toString() - Method in class entorno.emulador.nodoMODULO
 
toString() - Method in class entorno.emulador.nodoOPERS
 
todos - Variable in class entorno.ReconocerSintaxis.MiTareaAnalisis
 
toolBar - Variable in class entorno.Entorno
La barra de herramientas superior
topHHome - Variable in class entorno.VentanaAyuda
Arbol para mostra el indice
tratarEntradaMaude(DocumentEvent) - Method in class entorno.emulador.ClaseVentanaLog.EmuladorMaudeLogListener
 
trazaBar - Variable in class entorno.Entorno
la barra de traza

U

ultimaModificacion - Variable in class entorno.ClaseTexto
Indica la fecha de la ultima vez que se guardo este documento
undo - Variable in class entorno.ClaseTexto
Objeto de registro de cambios (deshacer/rehacer) en la edicion
undoableEditHappened(UndoableEditEvent) - Method in class entorno.MyUndoableEditListener
Metodo ejecutado cuando se detecta un cambio en el area de texto
updateBarraEstado(String) - Method in class entorno.emulador.ClaseVentanaLog
Actualiza la barra de estado.
updateBarraEstadoFecha() - Method in class entorno.Entorno
Actualizo la fecha de la barra de estado.
updateLabel(String) - Method in class entorno.grafo.GraphGUI
Actualiza la barra de estado
urlAnterior - Variable in class entorno.VentanaAyuda
Permite salvar la ultima url visitada

V

VERDE - Static variable in class entorno.emulador.ClaseVentanaLog
 
VPAzul - Variable in class entorno.Dialogos.ConfigInterfaz
 
VPBurdeo - Variable in class entorno.Dialogos.ConfigInterfaz
 
VPRojo - Variable in class entorno.Dialogos.ConfigInterfaz
 
VPVerde - Variable in class entorno.Dialogos.ConfigInterfaz
 
VentanaAyuda - class entorno.VentanaAyuda.
Funcion: Implementa la herramienta Maudeler Help Permite crear un una ventana de ayuda con distintas secciones: Ayuda sobre Maude, Ayuda sobre el Editor.
VentanaAyuda(Entorno) - Constructor for class entorno.VentanaAyuda
Constructor
VentanaAyuda.AyudaListener - class entorno.VentanaAyuda.AyudaListener.
Esta clase interna, permite que la ventana se desvisualize sin eliminarse
VentanaAyuda.AyudaListener() - Constructor for class entorno.VentanaAyuda.AyudaListener
 
VentanaAyuda.BookInfo - class entorno.VentanaAyuda.BookInfo.
Clase BookInfo Funcion: Representa cada nodo seleccionable del arbol de cada seccion representa una pagina de ayuda
VentanaAyuda.BookInfo(String, String) - Constructor for class entorno.VentanaAyuda.BookInfo
 
VentanaAyuda.BookInfo(String, String, int) - Constructor for class entorno.VentanaAyuda.BookInfo
 
VentanaAyuda.MiHyperlinkListener - class entorno.VentanaAyuda.MiHyperlinkListener.
Clase MiHyperlinkListener Funcion: Controla el evento producido por los hiperenlaces dentro de la pagina cargada
VentanaAyuda.MiHyperlinkListener() - Constructor for class entorno.VentanaAyuda.MiHyperlinkListener
 
VentanaAyuda.MyChangeListener - class entorno.VentanaAyuda.MyChangeListener.
Clase MyChangeListener Funcion: Cambia la pagina de ayuda correspondiente a la seccion seleccionada Esta operacion se realiza cuando cambiamos de seccion, seleccionando la lengueta
VentanaAyuda.MyChangeListener() - Constructor for class entorno.VentanaAyuda.MyChangeListener
 
VentanaAyuda.MyTreeSelectionListener - class entorno.VentanaAyuda.MyTreeSelectionListener.
Clase MyTreeSelectionListener Funcion: Controla el evento producido por la seleccion de un nodo
VentanaAyuda.MyTreeSelectionListener() - Constructor for class entorno.VentanaAyuda.MyTreeSelectionListener
 
vClases - Variable in class entorno.grafo.GraphGUI
 
vImp_BOOL - Variable in class entorno.grafo.GraphGUI
 
vImp_UP - Variable in class entorno.grafo.GraphGUI
 
vPredefFULL - Variable in class entorno.grafo.GraphGUI
 
vPredefinidos - Variable in class entorno.grafo.GraphGUI
 
vTipos - Variable in class entorno.grafo.GraphGUI
 
valueChanged(TreeSelectionEvent) - Method in class entorno.VentanaAyuda.MyTreeSelectionListener
 
vectorTexto - Variable in class entorno.Entorno
El vector que almacena los documentos
ventanaAyuda - Variable in class entorno.Entorno
La ventana de ayuda
ventanaDialogo - Variable in class entorno.Entorno
La ventana de diálogo de abrir y guardar
ventanaGrafo - Variable in class entorno.emulador.ClaseVentanaLog
frame que tiene el interfaz de los grafos
ventanaLog - Variable in class entorno.Entorno
La ventana del emulador
verDefinicionFull - Variable in class entorno.grafo.DrawingArea
 
verInc_BOOL - Variable in class entorno.grafo.DrawingArea
 
verInc_UP - Variable in class entorno.grafo.DrawingArea
 
verMenu - Variable in class entorno.ClaseBarraMenu
 
verPredefinidos - Variable in class entorno.grafo.DrawingArea
 
verToolBar - Variable in class entorno.ClaseBarraMenu
 
verToolInferior - Variable in class entorno.ClaseBarraMenu
 
verToolSuperior - Variable in class entorno.ClaseBarraMenu
 
visiblePorEntrarEnDep - Variable in class entorno.debugger.ClaseDepurador
 
volcarSalidaAMemoriaFisica(String) - Method in class entorno.emulador.ClaseVentanaLog.ClaseEmuladorMaude
vuelca la salida a memoria fisica

W

weight - Variable in class entorno.grafo.Graph.Edge
 
weight - Variable in class entorno.grafo.Graph.Node
 
weightedEdges - Variable in class entorno.grafo.Graph
 
weightedNodes - Variable in class entorno.grafo.Graph
 
windowClosing(WindowEvent) - Method in class entorno.VentanaAyuda.AyudaListener
 
workPath - Static variable in class entorno.Entorno
Ruta donde se encuentra el directorio de trabajo
wrapLines(List, PageFormat, Font) - Method in class entorno.CImprimir
Divide la lineas que son mas anchas que el ancho de la pagina
writeControlMaudeBuff(String) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Escribe en el buffer de control
writeEntradaMaudeBuff(String) - Method in class entorno.emulador.ClaseVentanaLog.Bufferes
Escribe en el buffer de Entrada

A B C D E F G H I J K L M N O P Q R S T U V W