entorno.debugger
Class ClaseDialogoReescritura

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Dialog
                  javax.swing.JDialog
                      entorno.debugger.ClaseDialogoReescritura

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.event.PopupMenuListener, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class ClaseDialogoReescritura

extends javax.swing.JDialog

implements java.awt.event.ActionListener, javax.swing.event.PopupMenuListener

Clase: ClaseDialogoReescritura Funcion: Crea un dialogo con el que podemos enviar comandos de reescritura a Maude

See Also:

Serialized Form

Nested Class Summary

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	bCancelar
private javax.swing.JButton	bEnviar
private javax.swing.JComboBox	comboEleccion
private javax.swing.JComboBox	comboHistorico
private Entorno	entorno
private javax.swing.JLabel	lPosicion
private javax.swing.JLabel	lTermino
private javax.swing.JLabel	lVeces
private javax.swing.JPanel	panelAbajo
private javax.swing.JPanel	panelArriba
private javax.swing.JPanel	panelCentro
private javax.swing.JPanel	panelCentro2
private javax.swing.JPanel	panelDerecho
private java.lang.String[]	textComboEleccion
private javax.swing.JTextField	tPosicion
private javax.swing.JTextArea	tTermino
private javax.swing.JTextField	tVeces

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

ClaseDialogoReescritura(Entorno ent)
Constructor

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
private void	cerrarDialogo(java.awt.event.WindowEvent evt) Cierra este dialogo
void	popupMenuCanceled(javax.swing.event.PopupMenuEvent evt) eventos que controlan el menu desplegable de eleccion de modulo
void	popupMenuWillBecomeInvisible(javax.swing.event.PopupMenuEvent evt)
void	popupMenuWillBecomeVisible(javax.swing.event.PopupMenuEvent evt)
void	resetear() Resetea este diálogo
private void	setLanguageSpanish() Establece el idioma 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

comboEleccion

private javax.swing.JComboBox comboEleccion

comboHistorico

private javax.swing.JComboBox comboHistorico

bEnviar

private javax.swing.JButton bEnviar

bCancelar

private javax.swing.JButton bCancelar

textComboEleccion

private final java.lang.String[] textComboEleccion

entorno

private Entorno entorno

lTermino

private javax.swing.JLabel lTermino

lVeces

private javax.swing.JLabel lVeces

lPosicion

private javax.swing.JLabel lPosicion

tVeces

private javax.swing.JTextField tVeces

tPosicion

private javax.swing.JTextField tPosicion

tTermino

private javax.swing.JTextArea tTermino

panelArriba

private javax.swing.JPanel panelArriba

panelAbajo

private javax.swing.JPanel panelAbajo

panelDerecho

private javax.swing.JPanel panelDerecho

panelCentro

private javax.swing.JPanel panelCentro

panelCentro2

private javax.swing.JPanel panelCentro2

Constructor Detail

ClaseDialogoReescritura

public ClaseDialogoReescritura(Entorno ent)

Constructor

Parameters:

ent - El JFrame padre al que insertaremos este diálogo

Method Detail

resetear

public void resetear()

Resetea este diálogo

cerrarDialogo

private void cerrarDialogo(java.awt.event.WindowEvent evt)

Cierra este dialogo

popupMenuCanceled

public void popupMenuCanceled(javax.swing.event.PopupMenuEvent evt)

eventos que controlan el menu desplegable de eleccion de modulo

Specified by:

popupMenuCanceled in interface javax.swing.event.PopupMenuListener

popupMenuWillBecomeVisible

public void popupMenuWillBecomeVisible(javax.swing.event.PopupMenuEvent evt)

Specified by:

popupMenuWillBecomeVisible in interface javax.swing.event.PopupMenuListener

popupMenuWillBecomeInvisible

public void popupMenuWillBecomeInvisible(javax.swing.event.PopupMenuEvent evt)

Specified by:

popupMenuWillBecomeInvisible in interface javax.swing.event.PopupMenuListener

setLanguageSpanish

private void setLanguageSpanish()

Establece el idioma a español

actionPerformed

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

Specified by:

actionPerformed in interface java.awt.event.ActionListener