entorno
Class VentanaAyuda

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by entorno.VentanaAyuda
All Implemented Interfaces:
javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, javax.swing.WindowConstants

public class VentanaAyuda
extends javax.swing.JFrame

Funcion: Implementa la herramienta Maudeler Help Permite crear un una ventana de ayuda con distintas secciones: Ayuda sobre Maude, Ayuda sobre el Editor.

See Also:
Serialized Form

Nested Class Summary
private  class VentanaAyuda.AyudaListener
          Esta clase interna, permite que la ventana se desvisualize sin eliminarse
private  class VentanaAyuda.BookInfo
          Clase BookInfo Funcion: Representa cada nodo seleccionable del arbol de cada seccion representa una pagina de ayuda
private  class VentanaAyuda.MiHyperlinkListener
          Clase MiHyperlinkListener Funcion: Controla el evento producido por los hiperenlaces dentro de la pagina cargada
private  class VentanaAyuda.MyChangeListener
          Clase MyChangeListener Funcion: Cambia la pagina de ayuda correspondiente a la seccion seleccionada Esta operacion se realiza cuando cambiamos de seccion, seleccionando la lengueta
private  class VentanaAyuda.MyTreeSelectionListener
          Clase MyTreeSelectionListener Funcion: Controla el evento producido por la seleccion de un nodo
 
Nested classes inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Nested classes inherited from class java.awt.Frame
java.awt.Frame.AccessibleAWTFrame
 
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 bActualizar
          Boton para volver a cargar la página
private  javax.swing.JButton bBack
          Boton para volver a la anterior página
private  java.net.URL helpURL
           
private  javax.swing.JTree indiceHEditor
          Para la ayuda del editor
private  java.lang.String lineStyle
           
private  Entorno padre
          el editor al que pertenece esta ayuda
(package private)  javax.swing.JEditorPane panelAyuda
          Panel de texto para mostrar la ayuda seleccionada
private  javax.swing.JTabbedPane panelIndices
          Panel de lenguetas para situar ambos indices
private  int PAQUETE
           
private  boolean playWithLineStyle
          Para indicar el estilo de linea a dibujar en los arboles
private  javax.swing.tree.DefaultMutableTreeNode topHHome
          Arbol para mostra el indice
private  java.net.URL urlAnterior
          Permite salvar la ultima url visitada
 
Fields inherited from class javax.swing.JFrame
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
 
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, HIDE_ON_CLOSE
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
VentanaAyuda(Entorno padre)
          Constructor
 
Method Summary
 void abrirPor(int indice)
          Abre la ventana de ayuda por la seccion indicada
 void cambiarUrl(java.net.URL url)
          Cambia la url asignada para la pagina oficial de maude
private  void createNodesEditor(javax.swing.tree.DefaultMutableTreeNode top)
          Crea los nodos del arbol para la seccion de ayuda para el editor
private  void createNodesEditorIngles(javax.swing.tree.DefaultMutableTreeNode top)
          Crea los nodos del arbol para la seccion de ayuda en inglés para el editor
private  void displayURL(java.net.URL url)
          Carga la url indicada en el panel que muestra la ayuda
private  void inicializarAyuda(int indice)
          Muestra la url inicial asignada a la seccion indicada
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, setLocationRelativeTo, show, 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, 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, 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
 
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
 

Field Detail

padre

private Entorno padre
el editor al que pertenece esta ayuda


indiceHEditor

private javax.swing.JTree indiceHEditor
Para la ayuda del editor


topHHome

private javax.swing.tree.DefaultMutableTreeNode topHHome
Arbol para mostra el indice


bBack

private javax.swing.JButton bBack
Boton para volver a la anterior página


bActualizar

private javax.swing.JButton bActualizar
Boton para volver a cargar la página


panelAyuda

javax.swing.JEditorPane panelAyuda
Panel de texto para mostrar la ayuda seleccionada


panelIndices

private javax.swing.JTabbedPane panelIndices
Panel de lenguetas para situar ambos indices


helpURL

private java.net.URL helpURL

urlAnterior

private java.net.URL urlAnterior
Permite salvar la ultima url visitada


PAQUETE

private final int PAQUETE
See Also:
Constant Field Values

playWithLineStyle

private boolean playWithLineStyle
Para indicar el estilo de linea a dibujar en los arboles


lineStyle

private java.lang.String lineStyle
Constructor Detail

VentanaAyuda

public VentanaAyuda(Entorno padre)
Constructor

Parameters:
padre - el JFrame al que se le crea un menu emergente
Method Detail

abrirPor

public void abrirPor(int indice)
Abre la ventana de ayuda por la seccion indicada

Parameters:
indice - seccion

cambiarUrl

public void cambiarUrl(java.net.URL url)
Cambia la url asignada para la pagina oficial de maude


inicializarAyuda

private void inicializarAyuda(int indice)
Muestra la url inicial asignada a la seccion indicada


displayURL

private void displayURL(java.net.URL url)
Carga la url indicada en el panel que muestra la ayuda

Parameters:
url - url a cargar

createNodesEditor

private void createNodesEditor(javax.swing.tree.DefaultMutableTreeNode top)
Crea los nodos del arbol para la seccion de ayuda para el editor


createNodesEditorIngles

private void createNodesEditorIngles(javax.swing.tree.DefaultMutableTreeNode top)
Crea los nodos del arbol para la seccion de ayuda en inglés para el editor