entorno.emulador
Class ClaseVentanaLog

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  entorno.emulador.ClaseVentanaLog

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, MaudeEditorConstantes, java.awt.MenuContainer, java.io.Serializable

public class ClaseVentanaLog

extends javax.swing.JPanel

implements MaudeEditorConstantes

Funcion: Encargada de ejecutar el emulador con el que podremos interactuar con Maude

See Also:

Serialized Form

Nested Class Summary

private class	ClaseVentanaLog.Bufferes Clase Bufferes Funcion: controla los 3 bufferes E/S/Error
class	ClaseVentanaLog.ClaseEmuladorMaude Funcion: Crear la ventana del emulador
class	ClaseVentanaLog.ClaseErrorMaude Funcion: Almacena el error dado por Maude
class	ClaseVentanaLog.ClaseResultadoMaude Funcion: Almacenar el resultado dado por maude
private class	ClaseVentanaLog.ControlFlags Clase: ControlFlags Funcion: Se encarga de controlar los flags necesarios segúnla operación realizada en cada momento.
private class	ClaseVentanaLog.DaemonTask Clase DaemonTask Funcion: ejecutar las hebras procesoEjecutarCoreMaude y TareaCrearDestruirCoreMaude Testea los buffers si están preparados con resultados cada cierto tiempo.
(package private) class	ClaseVentanaLog.EmuladorMaudeLogListener Clase: EmuladorMaudeLogListener Funcion: Recoge los cambios en el emulador
(package private) class	ClaseVentanaLog.HebraLoopInit Clase HebraLoopInit Funcion: Realiza un Loop init del proceso Maude
private class	ClaseVentanaLog.ProcesoEjecutarCoreMaude Clase: ProcesoEjecutarCoreMaude Funcion: Tarea que esperará a que Maude de respuestas y las mostrará
private class	ClaseVentanaLog.TareaCrearDestruirCoreMaude Clase TareaCrearDestruirCoreMaude Funcion: Tarea que se queda esperando hasta que finalice Maude

Nested classes inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

static int	AZUL
(package private) ClaseVentanaLog.Bufferes	buffer bufferes que comunican nuestro entorno con el proceso Maude sea via local o via sockets
java.awt.Color[]	coloresGrafo
(package private) boolean	comandoEjecutandose indica q se ha mandado un comando.
(package private) boolean	conErrores indica si el buffer de errores tiene algo o no.
(package private) boolean	conResultado indica si tiene o no un resultado q mostrarse en en la ventanaLog
private ClaseVentanaLog.ControlFlags	control Clase que controla las condiciones para que se realicen las operaciones
(package private) boolean	ejecutandoCoreMaude indica si se está ejecutando Maude.
int	ejecutandoMaude indica si: 0 =nada 1= coreMaude 2=fullMaude
(package private) boolean	ejecutandoseMaude cuando maude esta ejecutandose debido a la introduccion de un comando hasta que muestre el prompt
static int	EMULADOR_POS
(package private) ClaseVentanaLog.ClaseEmuladorMaude	emuladorMaude pestaña 0.
Entorno	entorno
static int	ERROR_POS
(package private) ClaseVentanaLog.ClaseErrorMaude	errorMaude pestaña 2. últimos errores dados por Maude
static long	ESPERA_REFRESCO_BUFFERES
static long	ESPERA_REFRESCO_SALIDA_MAUDE
static long	ESPERA_TESTEO_FLAG
private Graph	grafoMods El grafo actual de modulos Full Maude introducidos
private Graph	grafoTipos El grafo actual de tipos Full Maude introducidos
static int	GRISOSCURO
(package private) boolean	habilitadoCtrlC Para evitar q se de un ctrl c
private java.lang.String[]	initCoreMaude
private java.lang.String[]	initFullMaude Comandos a ejecutar
private java.util.List	listaModulosAInsertar Almacena la lista de modulos mandados que se tienene que insertar en la base de datos
(package private) boolean	mandadoModulo Controla si se le ha mandado un modulo a maude
(package private) boolean	modoInterno indica si estamos mandando a Maude mensajes internos obteniendo las respuestas sin que el usuario las vea
(package private) boolean	mostrandoRespuesta indica si se está escribiendo una respuesta dada por Maude.
static int	NEGRO
(package private) java.lang.Process	p_Maude la tarea Maude
(package private) ClaseVentanaLog.ProcesoEjecutarCoreMaude	procesoCoreMaude el proceso de Core Maude.
(package private) boolean	pulsadoCtrlC indica si se ha pulsado el Ctrol-C.
static int	RESULTADO_POS
(package private) ClaseVentanaLog.ClaseResultadoMaude	resultadoMaude pestaña 1. último resultado de Maude
static int	ROJO
javax.swing.JTabbedPane	tabbedPane
(package private) ClaseVentanaLog.TareaCrearDestruirCoreMaude	tareaCrearDestruirCoreMaude la hebra que se encarga de esperar a que se destruya la tarea Maude para actualizar el entorno
(package private) ClaseVentanaLog.DaemonTask	tareaMaestra tarea q controlará y llamará a las demás tareas.
private GraphGUI	ventanaGrafo frame que tiene el interfaz de los grafos
static int	VERDE

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface entorno.MaudeEditorConstantes

ARCHIVO_ACCION_CLOSE, ARCHIVO_ACCION_CLOSE_ALL, ARCHIVO_ACCION_CLOSE_ALL_E, ARCHIVO_ACCION_CLOSE_E, ARCHIVO_ACCION_EXIT, ARCHIVO_ACCION_EXIT_E, ARCHIVO_ACCION_NEW, ARCHIVO_ACCION_NEW_E, ARCHIVO_ACCION_OPEN, ARCHIVO_ACCION_OPEN_E, ARCHIVO_ACCION_PAGE_SETUP, ARCHIVO_ACCION_PAGE_SETUP_E, ARCHIVO_ACCION_PRINT, ARCHIVO_ACCION_PRINT_E, ARCHIVO_ACCION_SAVE, ARCHIVO_ACCION_SAVE_AS, ARCHIVO_ACCION_SAVE_AS_E, ARCHIVO_ACCION_SAVE_E, AREA_EDITOR, AREA_MAUDE, BUSCAR_ACCION_FIND, BUSCAR_ACCION_FIND_E, BUSCAR_ACCION_GO_LINE, BUSCAR_ACCION_GO_LINE_E, BUSCAR_ACCION_REPLACE, BUSCAR_ACCION_REPLACE_E, COLOR_COMENTARIOS, COLOR_CURSOR, COLOR_ECUACIONES, COLOR_FONDO, COLOR_FONDO_TEXTO_SELECCIONADO, COLOR_MODULOS, COLOR_PROPIEDADES, COLOR_TEXTO_NORMAL, COLOR_TEXTO_SELECCIONADO, COLOR_VARIABLES, DEPURADOR_ABORTAR, DEPURADOR_ABORTAR_E, DEPURADOR_ACTIVAR, DEPURADOR_ACTIVAR_E, DEPURADOR_DAR1PASO, DEPURADOR_DAR1PASO_E, DEPURADOR_DONDE, DEPURADOR_DONDE_E, DEPURADOR_PUNTOSRUPTURA, DEPURADOR_PUNTOSRUPTURA_E, DEPURADOR_RESUMIR, DEPURADOR_RESUMIR_E, DEPURADOR_TITULO, DEPURADOR_TITULO_E, EDICION_ACCION_COPY, EDICION_ACCION_COPY_E, EDICION_ACCION_CUT, EDICION_ACCION_CUT_E, EDICION_ACCION_DELETE, EDICION_ACCION_DELETE_E, EDICION_ACCION_PASTE, EDICION_ACCION_PASTE_E, EDICION_ACCION_REDO, EDICION_ACCION_REDO_E, EDICION_ACCION_SELECT_ALL, EDICION_ACCION_SELECT_ALL_E, EDICION_ACCION_UNDO, EDICION_ACCION_UNDO_E, EDICION_VER_BARRA_INF, EDICION_VER_BARRA_INF_E, EDICION_VER_BARRA_SUP, EDICION_VER_BARRA_SUP_E, EDICION_VER_BARRAS_HERR, EDICION_VER_BARRAS_HERR_E, EDITOR_ACCION_COMANDO, EDITOR_ACCION_COMANDO_E, EDITOR_ACCION_ENVIAR, EDITOR_ACCION_ENVIAR_E, ESTA_COLOREADO, ESTA_SELECT_SALIDA, ESTA_SELECT_SERVIDOR, ESTILO_LETRA, GRAFO_ESCALA, GRAFO_ESCALA_E, GRAFO_EXIT, GRAFO_EXIT_E, GRAFO_PAGE_SETUP, GRAFO_PAGE_SETUP_E, GRAFO_PRINT, GRAFO_PRINT_E, GRAFO_VIEW_CLASES, GRAFO_VIEW_CLASES_E, GRAFO_VIEW_MODS_PREDEF, GRAFO_VIEW_MODS_PREDEF_E, GRAFO_VIEW_MODS_PREDEF_FULL, GRAFO_VIEW_MODS_PREDEF_FULL_E, GRAFO_VIEW_REL, GRAFO_VIEW_REL_BOOL, GRAFO_VIEW_REL_BOOL_E, GRAFO_VIEW_REL_E, GRAFO_VIEW_REL_UP, GRAFO_VIEW_REL_UP_E, GRAFO_VIEW_TIPOS, GRAFO_VIEW_TIPOS_E, HELP_ACCION_ABOUT, HELP_ACCION_ABOUT_E, HELP_AYUDA_MAUDE_WORKSTATION, HELP_AYUDA_MAUDE_WORKSTATION_E, HELP_AYUDA_MAUDE2, HELP_AYUDA_MAUDE2_E, IDIOMA, IP_SERVIDOR, MAUDE_ACCION_CLEAR_ERRORS, MAUDE_ACCION_CLEAR_ERRORS_E, MAUDE_ACCION_DISPLAY_GRAFO, MAUDE_ACCION_DISPLAY_GRAFO_E, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS_E, MAUDE_ACCION_INIT_FULL_MAUDE, MAUDE_ACCION_INIT_FULL_MAUDE_E, MAUDE_ACCION_INIT_MAUDE, MAUDE_ACCION_INIT_MAUDE_E, MAUDE_ACCION_LOOP_INIT, MAUDE_ACCION_LOOP_INIT_E, MAUDE_ACCION_OPEN, MAUDE_ACCION_OPEN_E, MAUDE_ACCION_QUIT_MAUDE, MAUDE_ACCION_QUIT_MAUDE_E, MAUDE_ACCION_REWRITE, MAUDE_ACCION_REWRITE_E, MAUDE_ACCION_SAVE_AS, MAUDE_ACCION_SAVE_AS_E, MAUDE_ACCION_SHOW, MAUDE_ACCION_SHOW_E, MAUDE_SHOW_ALL, MAUDE_SHOW_ALL_E, MAUDE_SHOW_CLASSES, MAUDE_SHOW_CLASSES_E, MAUDE_SHOW_EQ, MAUDE_SHOW_EQ_E, MAUDE_SHOW_LABELS, MAUDE_SHOW_LABELS_E, MAUDE_SHOW_MEMBERSHIPS, MAUDE_SHOW_MEMBERSHIPS_E, MAUDE_SHOW_MESSAGES, MAUDE_SHOW_MESSAGES_E, MAUDE_SHOW_MODULE, MAUDE_SHOW_MODULE_E, MAUDE_SHOW_OPERS, MAUDE_SHOW_OPERS_E, MAUDE_SHOW_RULES, MAUDE_SHOW_RULES_E, MAUDE_SHOW_SORTS, MAUDE_SHOW_SORTS_E, MODULO_ACTIVO, MODULO_ACTIVO_E, NOMBRE_FICH_SALIDA, PALABRAS_ECUACIONES, PALABRAS_MODULOS, PALABRAS_PROPIEDADES, PALABRAS_VARIABLES, PESTANA_EMULADOR, PESTANA_ERROR, PESTANA_RESULT, PREFERENCES, PREFERENCES_E, PROMPT_FULL_MAUDE, PUERTO_SERVIDOR, RUTA_ACROBAT_READER, RUTA_DOCUMENT_MAUDE, RUTA_FICH_SALIDA, RUTA_FULL_MAUDE, RUTA_MAUDE, RUTA_TRABAJO, SERVIDOR_EVENTO_CTRL_C, SERVIDOR_INSERTAR_FULL_MAUDE, TAMANO_BUFFER_COLOR, TAMANO_BUFFER_EMULADOR, TAMANO_FICH_SALIDA, TAMANO_LETRA, TIPO_LETRA, TITULO_NUEVO, TITULO_VENT_PRINC, TITULO_VENT_PRINC_CORE, TITULO_VENT_PRINC_FULL, TRAZA_ACTIVAR, TRAZA_ACTIVAR_E, TRAZA_CONDITION, TRAZA_CONDITION_E, TRAZA_EQ, TRAZA_EQ_E, TRAZA_ETIQUETAS, TRAZA_ETIQUETAS_E, TRAZA_MB, TRAZA_MB_E, TRAZA_MODULOS, TRAZA_MODULOS_E, TRAZA_OPERADORES, TRAZA_OPERADORES_E, TRAZA_RL, TRAZA_RL_E, TRAZA_SELECT, TRAZA_SELECT_E, TRAZA_SELECT_WHAT, TRAZA_SELECT_WHAT_E, TRAZA_SUBSTITUTION, TRAZA_SUBSTITUTION_E, TRAZA_TITULO, TRAZA_TITULO_E, TRAZA_WHOLE, TRAZA_WHOLE_E

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

ClaseVentanaLog(Entorno ent)
Constructor

Method Summary

private void	actualizarNodosGrafo(Graph grf, java.util.Set cjtoModulos) actualiza los nodos de un grafo
private void	actualizarNodosGrafoTipo(Graph grf, java.util.Set cjtoModulos) Actualiza los nodos del grafo de tipos o clases de un modulo concreto
void	desabilitarVentanaLog() Para que no se pueda editar la ventana de emulacion
boolean	ejecutarCoreMaude() Inicia Core Maude .
boolean	ejecutarFullMaude() Inicia Full Maude.
void	envioDirecto(java.lang.String texto) Envia comandos a maude que no generan salida. solo generan el prompt, por ejemplo select FULL-MAUDE
void	envioDirectoDeModulos(ClaseTexto texto) Envia los modulos directamente a Maude
void	errorDialog(java.lang.String title, java.lang.String message) Mensajes de error.
void	formarGrafo() Construye el grafo de modulos a partir de la base de datos
void	formarGrafoTipos() Construye el gafo de tipos y clases que contienen un modulo a partir de la base de datos
private ClaseVentanaLog.Bufferes	getBuffer()
ClaseVentanaLog.ClaseEmuladorMaude	getEmuladorMaude()
ClaseVentanaLog.ClaseErrorMaude	getErrorMaude()
Graph	getGrafoMods()
Graph	getGrafoTipos()
GraphGUI	getGraphGUI()
java.lang.String[]	getInitCoreMaude()
java.lang.String[]	getInitFullMaude()
int	getPestanaActiva() Funcion que devuelve la pestaña activa
private ClaseVentanaLog.ProcesoEjecutarCoreMaude	getProcesoCoreMaude()
ClaseVentanaLog.ClaseResultadoMaude	getResultadoMaude()
private ClaseVentanaLog.DaemonTask	getTareaMaestra()
ClaseVentanaLog	getVentanaLog()
void	habilitarVentanaLog() Para que se pueda editar la ventana de emulacion
void	hacerCtrlC() Hace el ctrl-c de maude
void	hacerLoopInit() Crea una HebraLoopInit para que realize un loop init
private boolean	isComandoEjecutandose()
private boolean	isConErrores()
private boolean	isConResultado()
boolean	isEjecutandoCoreMaude()
boolean	isEjecutandoseMaude()
private boolean	isHabilitadoCtrlC()
private boolean	isMandadoModulo()
private boolean	isModoInterno()
private boolean	isMostrandoRespuesta()
private boolean	isPulsadoCtrlC()
void	lanzarVentanaGrafo() Lanza la ventana del grafo que muestra las relaciones entre especificaciones
void	lanzarVentanaGrafoTipos() Lanza la ventana de grafos que muestran tipos y clases
java.lang.String	obtenerContenidoModulo(java.lang.String comando) manda un show module o show all a maude devolviendo el resultado dado por maude
java.lang.String	obtenerContenidoModuloTrasInsertarlo(java.lang.String comando) manda un show module a maude devolviendo el resultado dado por maude.
void	quitarCoreMaude() Elimina el proceso Maude
void	quitarCoreMaude2() Elimina el proceso Maude
private void	setComandoEjecutandose(boolean c)
private void	setConErrores(boolean e)
private void	setConResultado(boolean v)
private void	setEjecutandoCoreMaude(boolean v)
private void	setEjecutandoseMaude(boolean p)
void	setGrafoMods(Graph g)
void	setGrafoTipos(Graph g)
private void	setHabilitadoCtrlC(boolean p)
void	setInitCoreMaude(java.lang.String[] icm)
void	setInitFullMaude(java.lang.String[] ifm)
private void	setMandadoModulo(boolean p)
void	setModoInterno(boolean v)
private void	setMostrandoRespuesta(boolean r)
private void	setProcesoCoreMaude(ClaseVentanaLog.ProcesoEjecutarCoreMaude m)
private void	setPulsadoCtrlC(boolean p)
private void	updateBarraEstado(java.lang.String texto) Actualiza la barra de estado.

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

entorno

public Entorno entorno

initFullMaude

private java.lang.String[] initFullMaude

Comandos a ejecutar

initCoreMaude

private java.lang.String[] initCoreMaude

ejecutandoMaude

public 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

public 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

private 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

EMULADOR_POS

public static final int EMULADOR_POS

See Also:

Constant Field Values

RESULTADO_POS

public static final int RESULTADO_POS

See Also:

Constant Field Values

ERROR_POS

public static final int ERROR_POS

See Also:

Constant Field Values

NEGRO

public static final int NEGRO

See Also:

Constant Field Values

ROJO

public static final int ROJO

See Also:

Constant Field Values

AZUL

public static final int AZUL

See Also:

Constant Field Values

VERDE

public static final int VERDE

See Also:

Constant Field Values

GRISOSCURO

public static final int GRISOSCURO

See Also:

Constant Field Values

ESPERA_TESTEO_FLAG

public static final long ESPERA_TESTEO_FLAG

See Also:

Constant Field Values

ESPERA_REFRESCO_BUFFERES

public static final long ESPERA_REFRESCO_BUFFERES

See Also:

Constant Field Values

ESPERA_REFRESCO_SALIDA_MAUDE

public static final long ESPERA_REFRESCO_SALIDA_MAUDE

See Also:

Constant Field Values

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

private java.util.List listaModulosAInsertar

Almacena la lista de modulos mandados que se tienene que insertar en la base de datos

coloresGrafo

public java.awt.Color[] coloresGrafo

ventanaGrafo

private GraphGUI ventanaGrafo

frame que tiene el interfaz de los grafos

grafoMods

private Graph grafoMods

El grafo actual de modulos Full Maude introducidos

grafoTipos

private Graph grafoTipos

El grafo actual de tipos Full Maude introducidos

Constructor Detail

ClaseVentanaLog

public ClaseVentanaLog(Entorno ent)

Constructor

Parameters:

ent - JFrame padre al que se le insertará esta ventana

Method Detail

getInitFullMaude

public java.lang.String[] getInitFullMaude()

getInitCoreMaude

public java.lang.String[] getInitCoreMaude()

setInitFullMaude

public void setInitFullMaude(java.lang.String[] ifm)

setInitCoreMaude

public void setInitCoreMaude(java.lang.String[] icm)

setModoInterno

public void setModoInterno(boolean v)

isModoInterno

private boolean isModoInterno()

setConResultado

private void setConResultado(boolean v)

isConResultado

private boolean isConResultado()

setConErrores

private void setConErrores(boolean e)

isConErrores

private boolean isConErrores()

setComandoEjecutandose

private void setComandoEjecutandose(boolean c)

isComandoEjecutandose

private boolean isComandoEjecutandose()

isMostrandoRespuesta

private boolean isMostrandoRespuesta()

setMostrandoRespuesta

private void setMostrandoRespuesta(boolean r)

setEjecutandoCoreMaude

private void setEjecutandoCoreMaude(boolean v)

isEjecutandoCoreMaude

public boolean isEjecutandoCoreMaude()

isHabilitadoCtrlC

private boolean isHabilitadoCtrlC()

setHabilitadoCtrlC

private void setHabilitadoCtrlC(boolean p)

isPulsadoCtrlC

private boolean isPulsadoCtrlC()

setPulsadoCtrlC

private void setPulsadoCtrlC(boolean p)

isEjecutandoseMaude

public boolean isEjecutandoseMaude()

setEjecutandoseMaude

private void setEjecutandoseMaude(boolean p)

isMandadoModulo

private boolean isMandadoModulo()

setMandadoModulo

private void setMandadoModulo(boolean p)

getProcesoCoreMaude

private ClaseVentanaLog.ProcesoEjecutarCoreMaude getProcesoCoreMaude()

setProcesoCoreMaude

private void setProcesoCoreMaude(ClaseVentanaLog.ProcesoEjecutarCoreMaude m)

getTareaMaestra

private ClaseVentanaLog.DaemonTask getTareaMaestra()

getBuffer

private ClaseVentanaLog.Bufferes getBuffer()

getVentanaLog

public ClaseVentanaLog getVentanaLog()

getEmuladorMaude

public ClaseVentanaLog.ClaseEmuladorMaude getEmuladorMaude()

getResultadoMaude

public ClaseVentanaLog.ClaseResultadoMaude getResultadoMaude()

getErrorMaude

public ClaseVentanaLog.ClaseErrorMaude getErrorMaude()

getPestanaActiva

public int getPestanaActiva()

Funcion que devuelve la pestaña activa

hacerLoopInit

public void hacerLoopInit()

Crea una HebraLoopInit para que realize un loop init

ejecutarCoreMaude

public boolean ejecutarCoreMaude()

Inicia Core Maude . Devuelve true si se ha ejecutado bien el proceso Maude

ejecutarFullMaude

public boolean ejecutarFullMaude()

Inicia Full Maude. Devuelve true si se ha ejecutado bien el proceso Maude

quitarCoreMaude

public void quitarCoreMaude()

Elimina el proceso Maude

quitarCoreMaude2

public void quitarCoreMaude2()

Elimina el proceso Maude

hacerCtrlC

public void hacerCtrlC()

Hace el ctrl-c de maude

errorDialog

public void errorDialog(java.lang.String title,
                        java.lang.String message)

Mensajes de error.

envioDirectoDeModulos

public void envioDirectoDeModulos(ClaseTexto texto)

Envia los modulos directamente a Maude

Parameters:

texto - el texto a enviar

envioDirecto

public void envioDirecto(java.lang.String texto)

Envia comandos a maude que no generan salida. solo generan el prompt, por ejemplo select FULL-MAUDE

habilitarVentanaLog

public void habilitarVentanaLog()

Para que se pueda editar la ventana de emulacion

desabilitarVentanaLog

public void desabilitarVentanaLog()

Para que no se pueda editar la ventana de emulacion

obtenerContenidoModulo

public java.lang.String obtenerContenidoModulo(java.lang.String comando)

manda un show module o show all a maude devolviendo el resultado dado por maude

obtenerContenidoModuloTrasInsertarlo

public java.lang.String obtenerContenidoModuloTrasInsertarlo(java.lang.String comando)

manda un show module a maude devolviendo el resultado dado por maude. nota: no devuelve nada si ocurre un error

updateBarraEstado

private void updateBarraEstado(java.lang.String texto)

Actualiza la barra de estado.

getGraphGUI

public GraphGUI getGraphGUI()

getGrafoMods

public Graph getGrafoMods()

setGrafoMods

public void setGrafoMods(Graph g)

getGrafoTipos

public Graph getGrafoTipos()

setGrafoTipos

public void setGrafoTipos(Graph g)

lanzarVentanaGrafoTipos

public void lanzarVentanaGrafoTipos()

Lanza la ventana de grafos que muestran tipos y clases

lanzarVentanaGrafo

public void lanzarVentanaGrafo()

Lanza la ventana del grafo que muestra las relaciones entre especificaciones

formarGrafoTipos

public void formarGrafoTipos()

Construye el gafo de tipos y clases que contienen un modulo a partir de la base de datos

formarGrafo

public void formarGrafo()

Construye el grafo de modulos a partir de la base de datos

actualizarNodosGrafo

private void actualizarNodosGrafo(Graph grf,
                                  java.util.Set cjtoModulos)

actualiza los nodos de un grafo

Parameters:

grf - el grafo al que le actualizaremos los nodos

cjtoModulos - los modulos que contendra el grafo

actualizarNodosGrafoTipo

private void actualizarNodosGrafoTipo(Graph grf,
                                      java.util.Set cjtoModulos)

Actualiza los nodos del grafo de tipos o clases de un modulo concreto

Parameters:

grf - el grafo a actualizar

cjtoModulos - el cjto de tipos o clases que contendran el grafo