|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.awt.Component java.awt.Container java.awt.Window java.awt.Dialog javax.swing.JDialog 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
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 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 |
---|
private Entorno entorno
private javax.swing.Action elemAction
private javax.swing.JPanel panelList
private javax.swing.JButton bCerrar
private java.lang.String nombre
private java.lang.String comando
private java.lang.String comando2
private java.lang.String moduloActual
private java.lang.String moduloEtiqActual
private java.util.Set cjtoModulosVisitados
Constructor Detail |
---|
public DialogoEleccion(Entorno ent, java.lang.String titulo, java.lang.String nomb, java.lang.String command, java.lang.String command2)
ent
- El JFrame al que pertenecetitulo
- El tiutlo de la ventananomb
- puede ser trace o breakcommand
- puede ser select o includecommand2
- puede ser deselect o excludeMethod Detail |
---|
private void setLanguageSpanish()
private void cerrarDialogo(java.awt.event.WindowEvent evt)
private void anadirModulo(java.lang.String elem)
private void anadirOperador(java.lang.String cabeza, java.lang.String cola, java.lang.String modulo)
cabeza
- la cabeza del operador op cola
- la cola del operadormodulo
- el modulo al que pertenece el operadorprivate void anadirEtiqueta(java.lang.String etiqueta, java.lang.String modulo)
public void actionPerformed(java.awt.event.ActionEvent evt)
actionPerformed
in interface java.awt.event.ActionListener
private void seleccionarOperadoresConNombre(java.lang.String nombre, boolean selec)
nombre
- el nombre del operadorselect
- si esta activo selecciona los operadorespublic void addDatosEtiquetasModulos()
private void addDatosEtiquetasModulosRecursivo(java.lang.String nomModulo)
private void addEtiquetas(java.lang.String nomMod, java.util.Set cjtoEtiquetas)
public void addDatosOperadoresModulos()
private void addDatosOperadoresModulosRecursivo(java.lang.String nomModulo)
private void addOperadores(java.lang.String nomMod, java.util.Set cjtoOpers)
public void addDatosModulos()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |