Serialized Form
datosTexto
javax.swing.JLabel datosTexto
- Información del archivo
coordenadasTextoF
javax.swing.JLabel coordenadasTextoF
- Fila donde esta situado el cursor
coordenadasTextoC
javax.swing.JLabel coordenadasTextoC
- Columna donde esta situado el cursor
modificado
javax.swing.JLabel modificado
- Indica si se ha modificado el texto
etiquetaAyuda
javax.swing.JLabel etiquetaAyuda
- Muestra la acción de cada opción de los menús y la barra de Herramientas
entorno
Entorno entorno
entorno
Entorno entorno
b_nuevo
javax.swing.JButton b_nuevo
- Almacenan los botones de la barra de herramientas
b_abrir
javax.swing.JButton b_abrir
- Almacenan los botones de la barra de herramientas
b_salvar
javax.swing.JButton b_salvar
- Almacenan los botones de la barra de herramientas
b_cortar
javax.swing.JButton b_cortar
- Almacenan los botones de la barra de herramientas
b_copiar
javax.swing.JButton b_copiar
- Almacenan los botones de la barra de herramientas
b_pegar
javax.swing.JButton b_pegar
- Almacenan los botones de la barra de herramientas
b_deshacer
javax.swing.JButton b_deshacer
- Almacenan los botones de la barra de herramientas
b_rehacer
javax.swing.JButton b_rehacer
- Almacenan los botones de la barra de herramientas
b_buscar
javax.swing.JButton b_buscar
- Almacenan los botones de la barra de herramientas
b_reemplazar
javax.swing.JButton b_reemplazar
- Almacenan los botones de la barra de herramientas
b_ayuda
javax.swing.JButton b_ayuda
- Almacenan los botones de la barra de herramientas
b_EnvioDirecto
javax.swing.JButton b_EnvioDirecto
- Almacenan los botones de la barra de herramientas
entorno
Entorno entorno
menuPrinc
javax.swing.JMenuBar menuPrinc
estado
javax.swing.JLabel estado
- El testigo de Maude WorkStation
archivoMenu
javax.swing.JMenu archivoMenu
edicionMenu
javax.swing.JMenu edicionMenu
busqueda
javax.swing.JMenu busqueda
verMenu
javax.swing.JMenu verMenu
maudeMenu
javax.swing.JMenu maudeMenu
ayudaMenu
javax.swing.JMenu ayudaMenu
nuevoMenuItem
javax.swing.JMenuItem nuevoMenuItem
- menu archivo
abrirMenuItem
javax.swing.JMenuItem abrirMenuItem
- menu archivo
guardarMenuItem
javax.swing.JMenuItem guardarMenuItem
- menu archivo
guardarComoMenuItem
javax.swing.JMenuItem guardarComoMenuItem
- menu archivo
pageSetupMenuItem
javax.swing.JMenuItem pageSetupMenuItem
- menu archivo
imprimirMenuItem
javax.swing.JMenuItem imprimirMenuItem
- menu archivo
cerrarMenuItem
javax.swing.JMenuItem cerrarMenuItem
- menu archivo
cerrarTodoMenuItem
javax.swing.JMenuItem cerrarTodoMenuItem
- menu archivo
salirMenuItem
javax.swing.JMenuItem salirMenuItem
- menu archivo
deshacerMenuItem
javax.swing.JMenuItem deshacerMenuItem
- menu edicion
rehacerMenuItem
javax.swing.JMenuItem rehacerMenuItem
- menu edicion
cortarMenuItem
javax.swing.JMenuItem cortarMenuItem
- menu edicion
copiarMenuItem
javax.swing.JMenuItem copiarMenuItem
- menu edicion
pegarMenuItem
javax.swing.JMenuItem pegarMenuItem
- menu edicion
seleccionarTodoMenuItem
javax.swing.JMenuItem seleccionarTodoMenuItem
- menu edicion
preferenciasMenuItem
javax.swing.JMenuItem preferenciasMenuItem
- menu edicion
buscar
javax.swing.JMenuItem buscar
- menu busqueda
reemplazar
javax.swing.JMenuItem reemplazar
- menu busqueda
irLinea
javax.swing.JMenuItem irLinea
- menu busqueda
displayGrafoMenuItem
javax.swing.JMenuItem displayGrafoMenuItem
- menu ver
displayGrafoTiposMenuItem
javax.swing.JMenuItem displayGrafoTiposMenuItem
- menu ver
displayInformacionMenuItem
javax.swing.JMenuItem displayInformacionMenuItem
- menu ver
verToolBar
javax.swing.JMenu verToolBar
verToolSuperior
javax.swing.JCheckBoxMenuItem verToolSuperior
verToolInferior
javax.swing.JCheckBoxMenuItem verToolInferior
mandarComandoMenuItem
javax.swing.JMenuItem mandarComandoMenuItem
- menu ejecutar
mandarDirectMenuItem
javax.swing.JMenuItem mandarDirectMenuItem
- menu ejecutar
iniciarCoreMenuItem
javax.swing.JMenuItem iniciarCoreMenuItem
- menu ejecutar
iniciarFullMenuItem
javax.swing.JMenuItem iniciarFullMenuItem
- menu ejecutar
finalizarCoreMenuItem
javax.swing.JMenuItem finalizarCoreMenuItem
- menu ejecutar
mandarLoopInitMenuItem
javax.swing.JMenuItem mandarLoopInitMenuItem
- menu ejecutar
clearErrorsMenuItem
javax.swing.JMenuItem clearErrorsMenuItem
- menu ejecutar
iniciarTraza
javax.swing.JMenuItem iniciarTraza
- menu ejecutar
iniciarDepurador
javax.swing.JMenuItem iniciarDepurador
- menu ejecutar
ayudaMaude2MenuItem
javax.swing.JMenuItem ayudaMaude2MenuItem
- menu ayuda
ayudaWorkMenuItem
javax.swing.JMenuItem ayudaWorkMenuItem
- menu ayuda
acercadeMenuItem
javax.swing.JMenuItem acercadeMenuItem
- menu ayuda
entorno
Entorno entorno
undo
javax.swing.undo.UndoManager undo
- Objeto de registro de cambios (deshacer/rehacer) en la edicion
listenerUndo
MyUndoableEditListener listenerUndo
- Objeto controlador del evento de cambios en el texto editado
listenerKey
ClaseTexto.MyKeyListener listenerKey
- Objeto controlador del evento que controla la lectura de teclas para el coloreado
listenerCaret
ClaseTexto.MyCaretListener listenerCaret
- Objeto controlador del evento que controla la lectura del cursor
listenerRaton
EventosRatonPopup listenerRaton
- Objeto que controla los eventos del raton sobre el texto
coloreando
boolean coloreando
- indica si se esta coloreando
seleccionando
boolean seleccionando
- indica si se esta seleccionando el texto
linea
int linea
- linea ultima en la que estaba el cursor
columna
int columna
- columna ultima en la que estaba el cursor
modificado
boolean modificado
- indica si ha sido modificado.
nuevo
boolean nuevo
- indica si el texto es nuevo o no.
titulo
java.lang.String titulo
- indica el titulo del texto.
path
java.lang.String path
- indica el path
ultimaModificacion
java.util.Date ultimaModificacion
- Indica la fecha de la ultima vez que se guardo este documento
tamanoFichero
long tamanoFichero
- Indica el numero de byte de este documento en disco (de la ultima vez que se guardo)
clave
int clave
- es una clave para diferenciar otros ClaseTexto entre sí.
entorno
Entorno entorno
bOk
javax.swing.JButton bOk
bCancel
javax.swing.JButton bCancel
bDefault
javax.swing.JButton bDefault
tabbedPane
javax.swing.JTabbedPane tabbedPane
textPathMaude
javax.swing.JTextField textPathMaude
bBuscarPath
javax.swing.JButton bBuscarPath
textWorkPath
javax.swing.JTextField textWorkPath
bWorkPath
javax.swing.JButton bWorkPath
textAyudaPath
javax.swing.JTextField textAyudaPath
bAyudaPath
javax.swing.JButton bAyudaPath
textFullMaude
javax.swing.JTextField textFullMaude
bFullMaudePath
javax.swing.JButton bFullMaudePath
labelPathMaude
javax.swing.JLabel labelPathMaude
labelFullMaude
javax.swing.JLabel labelFullMaude
labelWorkPath
javax.swing.JLabel labelWorkPath
labelAyudaPath
javax.swing.JLabel labelAyudaPath
panelPathsCentral
javax.swing.JPanel panelPathsCentral
lPuerto
javax.swing.JLabel lPuerto
tPuerto
javax.swing.JTextField tPuerto
tIp
Dialogos.ConfigInterfaz.JPanelIp tIp
lText
javax.swing.JLabel lText
cFamilia
javax.swing.JComboBox cFamilia
cEstilo
javax.swing.JComboBox cEstilo
cSize
javax.swing.JComboBox cSize
lFamilia
javax.swing.JLabel lFamilia
lEstilo
javax.swing.JLabel lEstilo
lSize
javax.swing.JLabel lSize
titulEjem
javax.swing.border.TitledBorder titulEjem
VPBurdeo
java.util.Vector VPBurdeo
VPVerde
java.util.Vector VPVerde
VPAzul
java.util.Vector VPAzul
VPRojo
java.util.Vector VPRojo
habilitarColores
javax.swing.JCheckBox habilitarColores
bServidor
javax.swing.JCheckBox bServidor
listaColores
javax.swing.JList listaColores
lNuevaP
javax.swing.JLabel lNuevaP
bAdd
javax.swing.JButton bAdd
bDelete
javax.swing.JButton bDelete
bColor
javax.swing.JButton bColor
nuevaPalabra
javax.swing.JTextField nuevaPalabra
grupoBotones
javax.swing.ButtonGroup grupoBotones
titBotones
javax.swing.border.TitledBorder titBotones
titPanelPalabras
javax.swing.border.TitledBorder titPanelPalabras
rBurdeo
javax.swing.JRadioButton rBurdeo
rVerde
javax.swing.JRadioButton rVerde
rAzul
javax.swing.JRadioButton rAzul
rRojo
javax.swing.JRadioButton rRojo
rComentario
javax.swing.JRadioButton rComentario
rNormal
javax.swing.JRadioButton rNormal
panelPalabras
javax.swing.JPanel panelPalabras
cambioPalabras
boolean cambioPalabras
- Indica si las listas de palabras han cambiado
coloresTemporal
java.util.Hashtable coloresTemporal
cambioColores
boolean cambioColores
antesColores
boolean antesColores
rButtonA
javax.swing.JRadioButton rButtonA
rButtonB
javax.swing.JRadioButton rButtonB
rButtonGr
javax.swing.ButtonGroup rButtonGr
fuente
java.awt.Font fuente
panelAvanzado
Dialogos.ConfigInterfaz.PanelAvanzado panelAvanzado
configb
Dialogos.ConfigInterfaz configb
bOk
javax.swing.JButton bOk
bCancel
javax.swing.JButton bCancel
bMaude
javax.swing.JRadioButton bMaude
bFMaude
javax.swing.JRadioButton bFMaude
cBoxFullMaude
javax.swing.JRadioButton cBoxFullMaude
textCoreMaude
javax.swing.JTextField textCoreMaude
textFullMaude
javax.swing.JTextField textFullMaude
bCoreMaudePath
javax.swing.JButton bCoreMaudePath
bFullMaudePath
javax.swing.JButton bFullMaudePath
bFullAnadirPath
javax.swing.JButton bFullAnadirPath
textAnadirFullMaude
javax.swing.JTextField textAnadirFullMaude
labelCoreMaude
javax.swing.JLabel labelCoreMaude
labelFullMaude
javax.swing.JLabel labelFullMaude
lAviso
javax.swing.JLabel lAviso
panelPrincipal
javax.swing.JTabbedPane panelPrincipal
cbAdd
javax.swing.JCheckBox cbAdd
contador
int contador
- Contador de progreso
boton
javax.swing.JButton boton
cargando
javax.swing.JLabel cargando
- Etiqueta para mostrar la fase en carga
barraProgreso
javax.swing.JProgressBar barraProgreso
- Barra de progreso
text
java.lang.String text
posicionActual
int posicionActual
inicio
boolean inicio
textoBuscar
javax.swing.JTextField textoBuscar
etiqBuscar
javax.swing.JLabel etiqBuscar
botonBuscar
javax.swing.JButton botonBuscar
botonCerrar
javax.swing.JButton botonCerrar
nuevaBusqueda
javax.swing.JButton nuevaBusqueda
mayusculas
javax.swing.JCheckBox mayusculas
desdePrincipio
javax.swing.JRadioButton desdePrincipio
desdeCursor
javax.swing.JRadioButton desdeCursor
panelArriba
javax.swing.JPanel panelArriba
panelAbajo
javax.swing.JPanel panelAbajo
panelDerecho
javax.swing.JPanel panelDerecho
panelCentro
javax.swing.JPanel panelCentro
panelCentro2
javax.swing.JPanel panelCentro2
grupoBotones
javax.swing.ButtonGroup grupoBotones
areaTexto
ClaseTexto areaTexto
titulo
javax.swing.border.TitledBorder titulo
botonIr
javax.swing.JButton botonIr
botonCancelar
javax.swing.JButton botonCancelar
textoLinea
javax.swing.JTextField textoLinea
etiqLinea
javax.swing.JLabel etiqLinea
panelTexto
ClaseTexto panelTexto
text
java.lang.String text
posicionActual
int posicionActual
inicio
boolean inicio
fin
boolean fin
reemTodo
boolean reemTodo
encontrado
boolean encontrado
textoBuscar
javax.swing.JTextField textoBuscar
textoNuevo
javax.swing.JTextField textoNuevo
etiqBuscar
javax.swing.JLabel etiqBuscar
etiqNpalabra
javax.swing.JLabel etiqNpalabra
botonBuscar
javax.swing.JButton botonBuscar
botonCerrar
javax.swing.JButton botonCerrar
botonRemplazar
javax.swing.JButton botonRemplazar
botonRTodo
javax.swing.JButton botonRTodo
nuevaBusqueda
javax.swing.JButton nuevaBusqueda
mayusculas
javax.swing.JCheckBox mayusculas
desdePrincipio
javax.swing.JRadioButton desdePrincipio
desdeCursor
javax.swing.JRadioButton desdeCursor
panelArriba
javax.swing.JPanel panelArriba
panelArriba2
javax.swing.JPanel panelArriba2
panelAbajo
javax.swing.JPanel panelAbajo
panelDerecho
javax.swing.JPanel panelDerecho
panelCentro
javax.swing.JPanel panelCentro
panelCentro2
javax.swing.JPanel panelCentro2
grupoBotones
javax.swing.ButtonGroup grupoBotones
areaTexto
ClaseTexto areaTexto
entorno
Entorno entorno
origen
javax.swing.border.TitledBorder origen
modificado
boolean modificado
presentacion
Entorno.VentanaPresentacion presentacion
- La ventana de presentación mientras se crean los objetos del entorno
menuEmergente
MenuEmergente menuEmergente
- Menu Emergente asociado a las áreas de texto
menuBar
ClaseBarraMenu menuBar
- La barra de menus
depuradorBar
ClaseDepurador depuradorBar
- La barra del depurador
trazaBar
ClaseTraza trazaBar
- la barra de traza
toolBar
ClaseBarraHerramientas toolBar
- La barra de herramientas superior
subToolBar
ClaseSubBarraHerramientas subToolBar
- La barra de herramientas inferior
ventanaLog
ClaseVentanaLog ventanaLog
- La ventana del emulador
barraEstado
BarraEstado barraEstado
- La barra de estado
ventanaAyuda
VentanaAyuda ventanaAyuda
- La ventana de ayuda
configuracion
Dialogos.ConfigInterfaz configuracion
- Ventana de configuración
panelPestana
javax.swing.JTabbedPane panelPestana
- El panel de las pestañas
vectorTexto
java.util.Vector vectorTexto
- El vector que almacena los documentos
splitPane
javax.swing.JSplitPane splitPane
- La barra separadora entre panelPestana y ventanaLog.
printerPageFormat
java.awt.print.PageFormat printerPageFormat
- El formato de la impresión de página.
ventanaDialogo
javax.swing.JFileChooser ventanaDialogo
- La ventana de diálogo de abrir y guardar
baseDatosMaude
ClaseModulosOperadores baseDatosMaude
- La base de datos local
dialRees
ClaseDialogoReescritura dialRees
- La ventana de envio de comandos de reescritura a Maude
eventosPortapapeles
EventosPortapapeles eventosPortapapeles
- Los eventos del portapapeles
num_doc
int num_doc
- es el nº q se pone tras crear un nuevo doc
clave
int clave
- nº clave para los ClaseTexto para diferenciarlos los unos de los otros.
esta clave se usa para saber de quien son los errores mostrados en la ventana de error.
entorno
Entorno entorno
cortar
javax.swing.JMenuItem cortar
copiar
javax.swing.JMenuItem copiar
pegar
javax.swing.JMenuItem pegar
seleccionarTodo
javax.swing.JMenuItem seleccionarTodo
buscar
javax.swing.JMenuItem buscar
reemplazar
javax.swing.JMenuItem reemplazar
irLinea
javax.swing.JMenuItem irLinea
enviarMaude
javax.swing.JMenuItem enviarMaude
padre
Entorno padre
- el editor al que pertenece esta ayuda
indiceHEditor
javax.swing.JTree indiceHEditor
- Para la ayuda del editor
topHHome
javax.swing.tree.DefaultMutableTreeNode topHHome
- Arbol para mostra el indice
bBack
javax.swing.JButton bBack
- Boton para volver a la anterior página
bActualizar
javax.swing.JButton bActualizar
- Boton para volver a cargar la página
panelAyuda
javax.swing.JEditorPane panelAyuda
- Panel de texto para mostrar la ayuda seleccionada
panelIndices
javax.swing.JTabbedPane panelIndices
- Panel de lenguetas para situar ambos indices
helpURL
java.net.URL helpURL
urlAnterior
java.net.URL urlAnterior
- Permite salvar la ultima url visitada
PAQUETE
int PAQUETE
playWithLineStyle
boolean playWithLineStyle
- Para indicar el estilo de linea a dibujar en los arboles
lineStyle
java.lang.String lineStyle
entorno
Entorno entorno
bResume
javax.swing.JButton bResume
bStep
javax.swing.JButton bStep
bAbort
javax.swing.JButton bAbort
bWhere
javax.swing.JButton bWhere
bSelectWhat
javax.swing.JButton bSelectWhat
bSelect
javax.swing.JCheckBox bSelect
ruta
java.lang.String ruta
eleccOperadores
DialogoEleccion eleccOperadores
visiblePorEntrarEnDep
boolean visiblePorEntrarEnDep
tituloDepurador
javax.swing.JLabel tituloDepurador
comboEleccion
javax.swing.JComboBox comboEleccion
comboHistorico
javax.swing.JComboBox comboHistorico
bEnviar
javax.swing.JButton bEnviar
bCancelar
javax.swing.JButton bCancelar
textComboEleccion
java.lang.String[] textComboEleccion
entorno
Entorno entorno
lTermino
javax.swing.JLabel lTermino
lVeces
javax.swing.JLabel lVeces
lPosicion
javax.swing.JLabel lPosicion
tVeces
javax.swing.JTextField tVeces
tPosicion
javax.swing.JTextField tPosicion
tTermino
javax.swing.JTextArea tTermino
panelArriba
javax.swing.JPanel panelArriba
panelAbajo
javax.swing.JPanel panelAbajo
panelDerecho
javax.swing.JPanel panelDerecho
panelCentro
javax.swing.JPanel panelCentro
panelCentro2
javax.swing.JPanel panelCentro2
entorno
Entorno entorno
bCondition
javax.swing.JCheckBox bCondition
bWhole
javax.swing.JCheckBox bWhole
bSubstitution
javax.swing.JCheckBox bSubstitution
bMb
javax.swing.JCheckBox bMb
bEq
javax.swing.JCheckBox bEq
bRl
javax.swing.JCheckBox bRl
bSelect
javax.swing.JCheckBox bSelect
bSelectWhat
javax.swing.JButton bSelectWhat
bExcludeWhat
javax.swing.JButton bExcludeWhat
ruta
java.lang.String ruta
cjtoDeOpsLabelsTraza
java.util.Set cjtoDeOpsLabelsTraza
cjtoDeOpsLabelsDepurador
java.util.Set cjtoDeOpsLabelsDepurador
cjtoModulosExcluidos
java.util.Set cjtoModulosExcluidos
eleccModulos
DialogoEleccion eleccModulos
eleccOperadores
DialogoEleccion eleccOperadores
tituloTraza
javax.swing.JLabel tituloTraza
bordeMostrar
javax.swing.border.TitledBorder bordeMostrar
entorno
Entorno entorno
bModulo
javax.swing.JButton bModulo
bModuloAll
javax.swing.JButton bModuloAll
bTipos
javax.swing.JButton bTipos
bOperadores
javax.swing.JButton bOperadores
bAxiomas
javax.swing.JButton bAxiomas
bEcuaciones
javax.swing.JButton bEcuaciones
bReglas
javax.swing.JButton bReglas
bGuardar
javax.swing.JButton bGuardar
bEtiquetas
javax.swing.JButton bEtiquetas
bMensajes
javax.swing.JButton bMensajes
bClases
javax.swing.JButton bClases
labelEleccion
javax.swing.JLabel labelEleccion
cEleccionModulo
javax.swing.JComboBox cEleccionModulo
panelMuestra
ClaseTexto panelMuestra
nomModuloAct
java.lang.String nomModuloAct
pulsadoShowModule
boolean pulsadoShowModule
entorno
Entorno entorno
b_guardar
javax.swing.JButton b_guardar
b_InitCore
javax.swing.JButton b_InitCore
b_InitFull
javax.swing.JButton b_InitFull
b_ExitMaude
javax.swing.JButton b_ExitMaude
b_Show
javax.swing.JButton b_Show
b_loop_init
javax.swing.JButton b_loop_init
b_clearErrors
javax.swing.JButton b_clearErrors
b_DisplayGrafo
javax.swing.JButton b_DisplayGrafo
b_DisplayGrafoTipos
javax.swing.JButton b_DisplayGrafoTipos
b_Reescritura
javax.swing.JButton b_Reescritura
b_Traza
javax.swing.JCheckBox b_Traza
b_Depurador
javax.swing.JCheckBox b_Depurador
cEleccionModulo
javax.swing.JComboBox cEleccionModulo
labelEleccion
javax.swing.JLabel labelEleccion
moduloSeleccAnterior
java.lang.String moduloSeleccAnterior
entorno
Entorno entorno
initFullMaude
java.lang.String[] initFullMaude
- Comandos a ejecutar
initCoreMaude
java.lang.String[] initCoreMaude
ejecutandoMaude
int ejecutandoMaude
- indica si: 0 =nada 1= coreMaude 2=fullMaude
conResultado
boolean conResultado
- indica si tiene o no un resultado q mostrarse en en la ventanaLog
conErrores
boolean conErrores
- indica si el buffer de errores tiene algo o no.
ejecutandoCoreMaude
boolean ejecutandoCoreMaude
- indica si se está ejecutando Maude.
comandoEjecutandose
boolean comandoEjecutandose
- indica q se ha mandado un comando.
mostrandoRespuesta
boolean mostrandoRespuesta
- indica si se está escribiendo una respuesta dada por Maude.
modoInterno
boolean modoInterno
- indica si estamos mandando a Maude mensajes internos obteniendo
las respuestas sin que el usuario las vea
habilitadoCtrlC
boolean habilitadoCtrlC
- Para evitar q se de un ctrl c
pulsadoCtrlC
boolean pulsadoCtrlC
- indica si se ha pulsado el Ctrol-C. Al mandar la señal de kill -2,
tabbedPane
javax.swing.JTabbedPane tabbedPane
emuladorMaude
ClaseVentanaLog.ClaseEmuladorMaude emuladorMaude
- pestaña 0. La del emulador Maude
resultadoMaude
ClaseVentanaLog.ClaseResultadoMaude resultadoMaude
- pestaña 1. último resultado de Maude
errorMaude
ClaseVentanaLog.ClaseErrorMaude errorMaude
- pestaña 2. últimos errores dados por Maude
control
ClaseVentanaLog.ControlFlags control
- Clase que controla las condiciones para que se realicen las operaciones
p_Maude
java.lang.Process p_Maude
- la tarea Maude
tareaCrearDestruirCoreMaude
ClaseVentanaLog.TareaCrearDestruirCoreMaude tareaCrearDestruirCoreMaude
- la hebra que se encarga de esperar a que se destruya la tarea Maude para actualizar el entorno
procesoCoreMaude
ClaseVentanaLog.ProcesoEjecutarCoreMaude procesoCoreMaude
- el proceso de Core Maude.
tareaMaestra
ClaseVentanaLog.DaemonTask tareaMaestra
- tarea q controlará y llamará a las demás tareas.
buffer
ClaseVentanaLog.Bufferes buffer
- bufferes que comunican nuestro entorno con el proceso Maude sea via local o via sockets
ejecutandoseMaude
boolean ejecutandoseMaude
- cuando maude esta ejecutandose debido a la introduccion de un comando hasta que muestre el prompt
mandadoModulo
boolean mandadoModulo
- Controla si se le ha mandado un modulo a maude
listaModulosAInsertar
java.util.List listaModulosAInsertar
- Almacena la lista de modulos mandados que se tienene que insertar en la base de datos
coloresGrafo
java.awt.Color[] coloresGrafo
ventanaGrafo
GraphGUI ventanaGrafo
- frame que tiene el interfaz de los grafos
grafoMods
Graph grafoMods
- El grafo actual de modulos Full Maude introducidos
grafoTipos
Graph grafoTipos
- El grafo actual de tipos Full Maude introducidos
doc
javax.swing.text.Document doc
attrs
javax.swing.text.SimpleAttributeSet[] attrs
lineaPrompt
int lineaPrompt
fichero
java.io.File fichero
numFichero
int numFichero
errores
java.util.Vector errores
controller
GraphGUI controller
graph
Graph graph
verPredefinidos
boolean verPredefinidos
verDefinicionFull
boolean verDefinicionFull
verInc_BOOL
boolean verInc_BOOL
verInc_UP
boolean verInc_UP
escala
double escala
startNode
Graph.Node startNode
stopNode
Graph.Node stopNode
nextNodeIndex
int nextNodeIndex
preferredSize
java.awt.Dimension preferredSize
nodeRadius
int nodeRadius
pto_click_nodo
java.awt.Point pto_click_nodo
pto_origen
java.awt.Point pto_origen
pto_final
java.awt.Point pto_final
nodos_selecc
java.util.HashSet nodos_selecc
seleccionando
boolean seleccionando
EDGE_ARROW_SIZE
int EDGE_ARROW_SIZE
MULTI_EDGE_SEP_SIZE
int MULTI_EDGE_SEP_SIZE
printerPageFormat
java.awt.print.PageFormat printerPageFormat
DIRECTED_PROPERTY
int DIRECTED_PROPERTY
NO_ACTION
int NO_ACTION
ADD_NODE
int ADD_NODE
ADD_EDGE
int ADD_EDGE
MOVE_NODE
int MOVE_NODE
REMOVE_NODE
int REMOVE_NODE
REMOVE_EDGE
int REMOVE_EDGE
RENOMBRAR
int RENOMBRAR
PREDEFINIR
int PREDEFINIR
maxAction
int maxAction
clickAction
int clickAction
- the current action to take when a click occurs in this drawing area
statusTexts
java.lang.String[] statusTexts
- the messages to display in the status bar for each click action
Nodes
java.util.Map Nodes
isDirected
boolean isDirected
weightedNodes
boolean weightedNodes
weightedEdges
boolean weightedEdges
showNodeText
boolean showNodeText
showEdgeText
boolean showEdgeText
toNode
Graph.Node toNode
color
java.awt.Color color
name
java.lang.String name
weight
float weight
isDrawn
boolean isDrawn
curveNumber
int curveNumber
counterpart
Graph.Edge counterpart
text
java.lang.String text
position
java.awt.Point position
name
java.lang.String name
weight
float weight
color
java.awt.Color color
Edges
java.util.List Edges
text
java.lang.String text
indeg
int indeg
outdeg
int outdeg
predefinido
boolean predefinido
definicionFull
boolean definicionFull
frame
GraphGUI frame
- El frame de la aplicacion
label
javax.swing.JLabel label
- la etiqueta de la barra de estado
scrollPane
javax.swing.JScrollPane scrollPane
- la barra de desplazamiento del area de dibujo
drawingArea
DrawingArea drawingArea
- donde dibujaré el grafo
emuMaude
ClaseVentanaLog emuMaude
- El emulador Maude
grupoBotones
javax.swing.ButtonGroup grupoBotones
vPredefinidos
javax.swing.JCheckBoxMenuItem vPredefinidos
vTipos
javax.swing.JCheckBoxMenuItem vTipos
vClases
javax.swing.JCheckBoxMenuItem vClases
vPredefFULL
javax.swing.JCheckBoxMenuItem vPredefFULL
vImp_BOOL
javax.swing.JCheckBoxMenuItem vImp_BOOL
vImp_UP
javax.swing.JCheckBoxMenuItem vImp_UP
bMod
javax.swing.JButton bMod
bFmod
javax.swing.JButton bFmod
bTh
javax.swing.JButton bTh
bFth
javax.swing.JButton bFth
bOmod
javax.swing.JButton bOmod
bOth
javax.swing.JButton bOth
bInc
javax.swing.JButton bInc
bEx
javax.swing.JButton bEx
bPr
javax.swing.JButton bPr
bTipo
javax.swing.JButton bTipo
bTipoFlecha
javax.swing.JButton bTipoFlecha
bTipos
javax.swing.JRadioButton bTipos
bClases
javax.swing.JRadioButton bClases
menuFich
javax.swing.JMenu menuFich
menuView
javax.swing.JMenu menuView
subMenu
javax.swing.JMenu subMenu
menuPage
javax.swing.JMenuItem menuPage
menuPrint
javax.swing.JMenuItem menuPrint
menuExit
javax.swing.JMenuItem menuExit
lTamaño
javax.swing.JLabel lTamaño
cboxEscalas
javax.swing.JComboBox cboxEscalas
esDeTipos
boolean esDeTipos
- si la ventana es para mostrar los tipos