entorno.debugger
Class DialogoEleccion

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Dialog
                  extended by javax.swing.JDialog
                      extended by entorno.debugger.DialogoEleccion
All Implemented Interfaces:
javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, MaudeEditorConstantes, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

class DialogoEleccion
extends javax.swing.JDialog
implements java.awt.event.ActionListener, MaudeEditorConstantes

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


Nested Class Summary
(package private)  class DialogoEleccion.UpdatePrefixListAction
           
 
Nested classes inherited from class javax.swing.JDialog
javax.swing.JDialog.AccessibleJDialog
 
Nested classes inherited from class java.awt.Dialog
java.awt.Dialog.AccessibleAWTDialog
 
Nested classes inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow
 
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
private  javax.swing.JButton bCerrar
           
private  java.util.Set cjtoModulosVisitados
           
private  java.lang.String comando
           
private  java.lang.String comando2
           
private  javax.swing.Action elemAction
           
private  Entorno entorno
           
private  java.lang.String moduloActual
           
private  java.lang.String moduloEtiqActual
           
private  java.lang.String nombre
           
private  javax.swing.JPanel panelList
           
 
Fields inherited from class javax.swing.JDialog
accessibleContext, rootPane, rootPaneCheckingEnabled
 
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 javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
DialogoEleccion(Entorno ent, java.lang.String titulo, java.lang.String nomb, java.lang.String command, java.lang.String command2)
          Constructor
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent evt)
           
 void addDatosEtiquetasModulos()
          aņade las etiquetas del modulo actual
private  void addDatosEtiquetasModulosRecursivo(java.lang.String nomModulo)
           
 void addDatosModulos()
          aņade los modulos de la base de datos clasificados
 void addDatosOperadoresModulos()
          aņade los operadores del modulo actual
private  void addDatosOperadoresModulosRecursivo(java.lang.String nomModulo)
           
private  void addEtiquetas(java.lang.String nomMod, java.util.Set cjtoEtiquetas)
           
private  void addOperadores(java.lang.String nomMod, java.util.Set cjtoOpers)
           
private  void anadirEtiqueta(java.lang.String etiqueta, java.lang.String modulo)
          Aņade una etiqueta a este dialogo Nota: suponemos que se aņaden sin seleccionar por lo que no se envia msje a maude
private  void anadirModulo(java.lang.String elem)
          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
private  void anadirOperador(java.lang.String cabeza, java.lang.String cola, java.lang.String modulo)
          aņade un operador a este dialogo Nota: suponemos que se aņaden sin seleccionar por lo que no se envia msje a maude
private  void cerrarDialogo(java.awt.event.WindowEvent evt)
          Permite cerrar el dialogo
private  void seleccionarOperadoresConNombre(java.lang.String nombre, boolean selec)
          selecciona o deselecciona todos los operadores con el mismo nombre
private  void setLanguageSpanish()
          actualiza la ventana a espaņol
 
Methods inherited from class javax.swing.JDialog
addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Dialog
addNotify, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setResizable, setTitle, setUndecorated, show
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, finalize, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, removeNotify, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

entorno

private Entorno entorno

elemAction

private javax.swing.Action elemAction

panelList

private javax.swing.JPanel panelList

bCerrar

private javax.swing.JButton bCerrar

nombre

private java.lang.String nombre

comando

private java.lang.String comando

comando2

private java.lang.String comando2

moduloActual

private java.lang.String moduloActual

moduloEtiqActual

private java.lang.String moduloEtiqActual

cjtoModulosVisitados

private java.util.Set cjtoModulosVisitados
Constructor Detail

DialogoEleccion

public DialogoEleccion(Entorno ent,
                       java.lang.String titulo,
                       java.lang.String nomb,
                       java.lang.String command,
                       java.lang.String command2)
Constructor

Parameters:
ent - El JFrame al que pertenece
titulo - El tiutlo de la ventana
nomb - puede ser trace o break
command - puede ser select o include
command2 - puede ser deselect o exclude
Method Detail

setLanguageSpanish

private void setLanguageSpanish()
actualiza la ventana a espaņol


cerrarDialogo

private void cerrarDialogo(java.awt.event.WindowEvent evt)
Permite cerrar el dialogo


anadirModulo

private void anadirModulo(java.lang.String elem)
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


anadirOperador

private void anadirOperador(java.lang.String cabeza,
                            java.lang.String cola,
                            java.lang.String modulo)
aņade un operador a este dialogo Nota: suponemos que se aņaden sin seleccionar por lo que no se envia msje a maude

Parameters:
cabeza - la cabeza del operador op :
cola - la cola del operador
modulo - el modulo al que pertenece el operador

anadirEtiqueta

private void anadirEtiqueta(java.lang.String etiqueta,
                            java.lang.String modulo)
Aņade una etiqueta a este dialogo Nota: suponemos que se aņaden sin seleccionar por lo que no se envia msje a maude


actionPerformed

public void actionPerformed(java.awt.event.ActionEvent evt)
Specified by:
actionPerformed in interface java.awt.event.ActionListener

seleccionarOperadoresConNombre

private void seleccionarOperadoresConNombre(java.lang.String nombre,
                                            boolean selec)
selecciona o deselecciona todos los operadores con el mismo nombre

Parameters:
nombre - el nombre del operador
select - si esta activo selecciona los operadores

addDatosEtiquetasModulos

public void addDatosEtiquetasModulos()
aņade las etiquetas del modulo actual


addDatosEtiquetasModulosRecursivo

private void addDatosEtiquetasModulosRecursivo(java.lang.String nomModulo)

addEtiquetas

private void addEtiquetas(java.lang.String nomMod,
                          java.util.Set cjtoEtiquetas)

addDatosOperadoresModulos

public void addDatosOperadoresModulos()
aņade los operadores del modulo actual


addDatosOperadoresModulosRecursivo

private void addDatosOperadoresModulosRecursivo(java.lang.String nomModulo)

addOperadores

private void addOperadores(java.lang.String nomMod,
                           java.util.Set cjtoOpers)

addDatosModulos

public void addDatosModulos()
aņade los modulos de la base de datos clasificados