|
|||||||||
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.Frame javax.swing.JFrame entorno.VentanaAyuda
Funcion: Implementa la herramienta Maudeler Help Permite crear un una ventana de ayuda con distintas secciones: Ayuda sobre Maude, Ayuda sobre el Editor.
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 |
---|
private Entorno padre
private javax.swing.JTree indiceHEditor
private javax.swing.tree.DefaultMutableTreeNode topHHome
private javax.swing.JButton bBack
private javax.swing.JButton bActualizar
javax.swing.JEditorPane panelAyuda
private javax.swing.JTabbedPane panelIndices
private java.net.URL helpURL
private java.net.URL urlAnterior
private final int PAQUETE
private boolean playWithLineStyle
private java.lang.String lineStyle
Constructor Detail |
---|
public VentanaAyuda(Entorno padre)
padre
- el JFrame al que se le crea un menu emergenteMethod Detail |
---|
public void abrirPor(int indice)
indice
- seccionpublic void cambiarUrl(java.net.URL url)
private void inicializarAyuda(int indice)
private void displayURL(java.net.URL url)
url
- url a cargarprivate void createNodesEditor(javax.swing.tree.DefaultMutableTreeNode top)
private void createNodesEditorIngles(javax.swing.tree.DefaultMutableTreeNode top)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |