entorno
Class Dialogos.ConfigInterfaz

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Dialog
                  javax.swing.JDialog
                      entorno.Dialogos.ConfigInterfaz

All Implemented Interfaces:

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

Enclosing class:

Dialogos

public class Dialogos.ConfigInterfaz

extends javax.swing.JDialog

implements java.awt.event.ActionListener

Funcion: Ventana de dialogo para configurar en entorno.

See Also:

Serialized Form

Nested Class Summary

class	Dialogos.ConfigInterfaz.DialogoBaseDatosRestaurar
private class	Dialogos.ConfigInterfaz.JComboBoxListener
private class	Dialogos.ConfigInterfaz.JPanelIp
(package private) class	Dialogos.ConfigInterfaz.MyColorAction Clase MyColorAction Funcion: Controla los eventos producidos por los botones de accion
(package private) class	Dialogos.ConfigInterfaz.PanelAvanzado Clase PanelAvanzado Funcion: Implementa el Dialogo de seleccion de opciones avanzadas para el emulador.
(package private) class	Dialogos.ConfigInterfaz.PanelColores Clase PanelColores Funcion: Implementa el Dialogo de seleccion de colores para el area de texto.

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 boolean	antesColores
private javax.swing.JButton	bAdd
private javax.swing.JButton	bAyudaPath
private javax.swing.JButton	bBuscarPath
private javax.swing.JButton	bCancel
private javax.swing.JButton	bColor
private javax.swing.JButton	bDefault
private javax.swing.JButton	bDelete
private javax.swing.JButton	bFullMaudePath
private javax.swing.JButton	bOk
private javax.swing.JCheckBox	bServidor
private javax.swing.JButton	bWorkPath
private boolean	cambioColores
private boolean	cambioPalabras Indica si las listas de palabras han cambiado
private javax.swing.JComboBox	cEstilo
private javax.swing.JComboBox	cFamilia
private java.util.Hashtable	coloresTemporal
private javax.swing.JComboBox	cSize
protected Entorno	entorno
private java.awt.Font	fuente
private javax.swing.ButtonGroup	grupoBotones
private javax.swing.JCheckBox	habilitarColores
private javax.swing.JLabel	labelAyudaPath
private javax.swing.JLabel	labelFullMaude
private javax.swing.JLabel	labelPathMaude
private javax.swing.JLabel	labelWorkPath
private javax.swing.JLabel	lEstilo
private javax.swing.JLabel	lFamilia
private javax.swing.JList	listaColores
private javax.swing.JLabel	lNuevaP
private javax.swing.JLabel	lPuerto
private javax.swing.JLabel	lSize
private javax.swing.JLabel	lText
private javax.swing.JTextField	nuevaPalabra
private Dialogos.ConfigInterfaz.PanelAvanzado	panelAvanzado
private javax.swing.JPanel	panelPalabras
private javax.swing.JPanel	panelPathsCentral
private javax.swing.JRadioButton	rAzul
private javax.swing.JRadioButton	rBurdeo
private javax.swing.JRadioButton	rButtonA
private javax.swing.JRadioButton	rButtonB
private javax.swing.ButtonGroup	rButtonGr
private javax.swing.JRadioButton	rComentario
private javax.swing.JRadioButton	rNormal
private javax.swing.JRadioButton	rRojo
private javax.swing.JRadioButton	rVerde
private javax.swing.JTabbedPane	tabbedPane
private javax.swing.JTextField	textAyudaPath
private javax.swing.JTextField	textFullMaude
private javax.swing.JTextField	textPathMaude
private javax.swing.JTextField	textWorkPath
private Dialogos.ConfigInterfaz.JPanelIp	tIp
private javax.swing.border.TitledBorder	titBotones
private javax.swing.border.TitledBorder	titPanelPalabras
private javax.swing.border.TitledBorder	titulEjem
private javax.swing.JTextField	tPuerto
private java.util.Vector	VPAzul
private java.util.Vector	VPBurdeo
private java.util.Vector	VPRojo
private java.util.Vector	VPVerde

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

Dialogos.ConfigInterfaz(Entorno ent)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent ae)
private void	actualizarColores()
boolean	actualizarEntornoServidor()
private void	actualizarPaths() Actualiza la configuración de los paths para desactivarlo cuando estamos usando Maude
private void	añadirNuevaPalabra()
private void	cerrarDialogo(java.awt.event.WindowEvent evt) Cierra este dialogo
private boolean	comprobarAyudaPath()
private boolean	comprobarPathFullFile()
private boolean	comprobarPathMaude()
private boolean	comprobarWorkPath()
private javax.swing.JList	crearLista() Crea una lista vacia para almacenar palabras
private void	crearVectores()
private int	devolverEstiloL(java.lang.String cadena)
private java.lang.String	devolverEstiloN(int cadena)
private void	eliminarPalabra()
private java.awt.Font	getFuente()
boolean	isEnabledEnglish()
boolean	isEnabledSpanish()
private void	seleccionarColor()
void	SetCambioColores(boolean col)
private void	setLanguageSpanish()
void	setSelectedEnglish()
void	setSelectedSpanish()

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

protected Entorno entorno

bOk

private javax.swing.JButton bOk

bCancel

private javax.swing.JButton bCancel

bDefault

private javax.swing.JButton bDefault

tabbedPane

private javax.swing.JTabbedPane tabbedPane

textPathMaude

private javax.swing.JTextField textPathMaude

bBuscarPath

private javax.swing.JButton bBuscarPath

textWorkPath

private javax.swing.JTextField textWorkPath

bWorkPath

private javax.swing.JButton bWorkPath

textAyudaPath

private javax.swing.JTextField textAyudaPath

bAyudaPath

private javax.swing.JButton bAyudaPath

textFullMaude

private javax.swing.JTextField textFullMaude

bFullMaudePath

private javax.swing.JButton bFullMaudePath

labelPathMaude

private javax.swing.JLabel labelPathMaude

labelFullMaude

private javax.swing.JLabel labelFullMaude

labelWorkPath

private javax.swing.JLabel labelWorkPath

labelAyudaPath

private javax.swing.JLabel labelAyudaPath

panelPathsCentral

private javax.swing.JPanel panelPathsCentral

lPuerto

private javax.swing.JLabel lPuerto

tPuerto

private javax.swing.JTextField tPuerto

tIp

private Dialogos.ConfigInterfaz.JPanelIp tIp

lText

private javax.swing.JLabel lText

cFamilia

private javax.swing.JComboBox cFamilia

cEstilo

private javax.swing.JComboBox cEstilo

cSize

private javax.swing.JComboBox cSize

lFamilia

private javax.swing.JLabel lFamilia

lEstilo

private javax.swing.JLabel lEstilo

lSize

private javax.swing.JLabel lSize

titulEjem

private javax.swing.border.TitledBorder titulEjem

VPBurdeo

private java.util.Vector VPBurdeo

VPVerde

private java.util.Vector VPVerde

VPAzul

private java.util.Vector VPAzul

VPRojo

private java.util.Vector VPRojo

habilitarColores

private javax.swing.JCheckBox habilitarColores

bServidor

private javax.swing.JCheckBox bServidor

listaColores

private javax.swing.JList listaColores

lNuevaP

private javax.swing.JLabel lNuevaP

bAdd

private javax.swing.JButton bAdd

bDelete

private javax.swing.JButton bDelete

bColor

private javax.swing.JButton bColor

nuevaPalabra

private javax.swing.JTextField nuevaPalabra

grupoBotones

private javax.swing.ButtonGroup grupoBotones

titBotones

private javax.swing.border.TitledBorder titBotones

titPanelPalabras

private javax.swing.border.TitledBorder titPanelPalabras

rBurdeo

private javax.swing.JRadioButton rBurdeo

rVerde

private javax.swing.JRadioButton rVerde

rAzul

private javax.swing.JRadioButton rAzul

rRojo

private javax.swing.JRadioButton rRojo

rComentario

private javax.swing.JRadioButton rComentario

rNormal

private javax.swing.JRadioButton rNormal

panelPalabras

private javax.swing.JPanel panelPalabras

cambioPalabras

private boolean cambioPalabras

Indica si las listas de palabras han cambiado

coloresTemporal

private java.util.Hashtable coloresTemporal

cambioColores

private boolean cambioColores

antesColores

private boolean antesColores

rButtonA

private javax.swing.JRadioButton rButtonA

rButtonB

private javax.swing.JRadioButton rButtonB

rButtonGr

private javax.swing.ButtonGroup rButtonGr

fuente

private java.awt.Font fuente

panelAvanzado

private Dialogos.ConfigInterfaz.PanelAvanzado panelAvanzado

Constructor Detail

Dialogos.ConfigInterfaz

public Dialogos.ConfigInterfaz(Entorno ent)

Method Detail

SetCambioColores

public void SetCambioColores(boolean col)

cerrarDialogo

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

Cierra este dialogo

setLanguageSpanish

private void setLanguageSpanish()

actualizarPaths

private void actualizarPaths()

Actualiza la configuración de los paths para desactivarlo cuando estamos usando Maude

crearVectores

private void crearVectores()

crearLista

private javax.swing.JList crearLista()

Crea una lista vacia para almacenar palabras

devolverEstiloL

private int devolverEstiloL(java.lang.String cadena)

devolverEstiloN

private java.lang.String devolverEstiloN(int cadena)

comprobarPathMaude

private boolean comprobarPathMaude()

comprobarPathFullFile

private boolean comprobarPathFullFile()

comprobarWorkPath

private boolean comprobarWorkPath()

comprobarAyudaPath

private boolean comprobarAyudaPath()

getFuente

private java.awt.Font getFuente()

isEnabledEnglish

public boolean isEnabledEnglish()

setSelectedEnglish

public void setSelectedEnglish()

isEnabledSpanish

public boolean isEnabledSpanish()

setSelectedSpanish

public void setSelectedSpanish()

eliminarPalabra

private void eliminarPalabra()

añadirNuevaPalabra

private void añadirNuevaPalabra()

seleccionarColor

private void seleccionarColor()

actualizarColores

private void actualizarColores()

actualizarEntornoServidor

public boolean actualizarEntornoServidor()

actionPerformed

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

Specified by:

actionPerformed in interface java.awt.event.ActionListener