entorno.debugger
Class ClaseTraza

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JToolBar
                  entorno.debugger.ClaseTraza

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, MaudeEditorConstantes, java.awt.MenuContainer, java.io.Serializable, javax.swing.SwingConstants

public class ClaseTraza

extends javax.swing.JToolBar

implements MaudeEditorConstantes, java.awt.event.ActionListener

Clase: ClaseTraza Funcion: Establece un panel lateral al entorno para poder realizar la traza con Maude

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class javax.swing.JToolBar

javax.swing.JToolBar.AccessibleJToolBar, javax.swing.JToolBar.Separator

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

javax.swing.JCheckBox	bCondition
javax.swing.JCheckBox	bEq
javax.swing.JButton	bExcludeWhat
javax.swing.JCheckBox	bMb
private javax.swing.border.TitledBorder	bordeMostrar
javax.swing.JCheckBox	bRl
javax.swing.JCheckBox	bSelect
javax.swing.JButton	bSelectWhat
javax.swing.JCheckBox	bSubstitution
javax.swing.JCheckBox	bWhole
java.util.Set	cjtoDeOpsLabelsDepurador
java.util.Set	cjtoDeOpsLabelsTraza
java.util.Set	cjtoModulosExcluidos
DialogoEleccion	eleccModulos
DialogoEleccion	eleccOperadores
private Entorno	entorno
private java.lang.String	ruta
private javax.swing.JLabel	tituloTraza

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 javax.swing.SwingConstants

BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NEXT, NORTH, NORTH_EAST, NORTH_WEST, PREVIOUS, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

ClaseTraza(Entorno ent)
Constructor

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
void	resetear() resetea la ventana
private void	setLanguageSpanish() actualiza la ventana a espaņol

Methods inherited from class javax.swing.JToolBar

add, addImpl, addSeparator, addSeparator, createActionChangeListener, createActionComponent, getAccessibleContext, getComponentAtIndex, getComponentIndex, getMargin, getOrientation, getUI, getUIClassID, isBorderPainted, isFloatable, isRollover, paintBorder, paramString, setBorderPainted, setFloatable, setLayout, setMargin, setOrientation, setRollover, 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, 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, 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, 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

private Entorno entorno

bCondition

public javax.swing.JCheckBox bCondition

bWhole

public javax.swing.JCheckBox bWhole

bSubstitution

public javax.swing.JCheckBox bSubstitution

bMb

public javax.swing.JCheckBox bMb

bEq

public javax.swing.JCheckBox bEq

bRl

public javax.swing.JCheckBox bRl

bSelect

public javax.swing.JCheckBox bSelect

bSelectWhat

public javax.swing.JButton bSelectWhat

bExcludeWhat

public javax.swing.JButton bExcludeWhat

ruta

private java.lang.String ruta

cjtoDeOpsLabelsTraza

public java.util.Set cjtoDeOpsLabelsTraza

cjtoDeOpsLabelsDepurador

public java.util.Set cjtoDeOpsLabelsDepurador

cjtoModulosExcluidos

public java.util.Set cjtoModulosExcluidos

eleccModulos

public DialogoEleccion eleccModulos

eleccOperadores

public DialogoEleccion eleccOperadores

tituloTraza

private javax.swing.JLabel tituloTraza

bordeMostrar

private javax.swing.border.TitledBorder bordeMostrar

Constructor Detail

ClaseTraza

public ClaseTraza(Entorno ent)

Constructor

Parameters:

ent - El JFrame al que pertenece

Method Detail

setLanguageSpanish

private void setLanguageSpanish()

actualiza la ventana a espaņol

resetear

public void resetear()

resetea la ventana

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener