|
|||||||||
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 javax.swing.JComponent javax.swing.JToolBar entorno.ClaseBarraMenu
Funcion: Crea la barra del menu de nuestro entorno
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.JMenuItem |
abrirMenuItem
menu archivo |
javax.swing.JMenuItem |
acercadeMenuItem
menu ayuda |
javax.swing.JMenu |
archivoMenu
|
javax.swing.JMenuItem |
ayudaMaude2MenuItem
menu ayuda |
javax.swing.JMenu |
ayudaMenu
|
javax.swing.JMenuItem |
ayudaWorkMenuItem
menu ayuda |
javax.swing.JMenuItem |
buscar
menu busqueda |
javax.swing.JMenu |
busqueda
|
javax.swing.JMenuItem |
cerrarMenuItem
menu archivo |
javax.swing.JMenuItem |
cerrarTodoMenuItem
menu archivo |
javax.swing.JMenuItem |
clearErrorsMenuItem
menu ejecutar |
javax.swing.JMenuItem |
copiarMenuItem
menu edicion |
javax.swing.JMenuItem |
cortarMenuItem
menu edicion |
javax.swing.JMenuItem |
deshacerMenuItem
menu edicion |
javax.swing.JMenuItem |
displayGrafoMenuItem
menu ver |
javax.swing.JMenuItem |
displayGrafoTiposMenuItem
menu ver |
javax.swing.JMenuItem |
displayInformacionMenuItem
menu ver |
javax.swing.JMenu |
edicionMenu
|
private Entorno |
entorno
|
javax.swing.JLabel |
estado
El testigo de Maude WorkStation |
javax.swing.JMenuItem |
finalizarCoreMenuItem
menu ejecutar |
javax.swing.JMenuItem |
guardarComoMenuItem
menu archivo |
javax.swing.JMenuItem |
guardarMenuItem
menu archivo |
javax.swing.JMenuItem |
imprimirMenuItem
menu archivo |
javax.swing.JMenuItem |
iniciarCoreMenuItem
menu ejecutar |
javax.swing.JMenuItem |
iniciarDepurador
menu ejecutar |
javax.swing.JMenuItem |
iniciarFullMenuItem
menu ejecutar |
javax.swing.JMenuItem |
iniciarTraza
menu ejecutar |
javax.swing.JMenuItem |
irLinea
menu busqueda |
javax.swing.JMenuItem |
mandarComandoMenuItem
menu ejecutar |
javax.swing.JMenuItem |
mandarDirectMenuItem
menu ejecutar |
javax.swing.JMenuItem |
mandarLoopInitMenuItem
menu ejecutar |
javax.swing.JMenu |
maudeMenu
|
private javax.swing.JMenuBar |
menuPrinc
|
javax.swing.JMenuItem |
nuevoMenuItem
menu archivo |
javax.swing.JMenuItem |
pageSetupMenuItem
menu archivo |
javax.swing.JMenuItem |
pegarMenuItem
menu edicion |
javax.swing.JMenuItem |
preferenciasMenuItem
menu edicion |
javax.swing.JMenuItem |
reemplazar
menu busqueda |
javax.swing.JMenuItem |
rehacerMenuItem
menu edicion |
javax.swing.JMenuItem |
salirMenuItem
menu archivo |
javax.swing.JMenuItem |
seleccionarTodoMenuItem
menu edicion |
javax.swing.JMenu |
verMenu
|
javax.swing.JMenu |
verToolBar
|
javax.swing.JCheckBoxMenuItem |
verToolInferior
|
javax.swing.JCheckBoxMenuItem |
verToolSuperior
|
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 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 | |
---|---|
ClaseBarraMenu(Entorno ent)
Constructor. |
Method Summary | |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent ae)
|
private void |
AnadirEventosDescripcion()
Agnade el controlador de eventos para mostrar en la barra de estado la descripcion de la accion realizada por cada opcion |
private static boolean |
comprobarRuta(java.lang.String ruta)
|
private void |
descargarFichero(java.lang.String nomFich,
java.net.URL rutafich)
Realiza una descarga de fichero apuntado por la dirección URL a la ruta dada en el primer argumento |
private void |
setLanguageSpanish()
Establece el idioma de la barra de menu 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 |
---|
private Entorno entorno
private javax.swing.JMenuBar menuPrinc
public javax.swing.JLabel estado
public javax.swing.JMenu archivoMenu
public javax.swing.JMenu edicionMenu
public javax.swing.JMenu busqueda
public javax.swing.JMenu verMenu
public javax.swing.JMenu maudeMenu
public javax.swing.JMenu ayudaMenu
public javax.swing.JMenuItem nuevoMenuItem
public javax.swing.JMenuItem abrirMenuItem
public javax.swing.JMenuItem guardarMenuItem
public javax.swing.JMenuItem guardarComoMenuItem
public javax.swing.JMenuItem pageSetupMenuItem
public javax.swing.JMenuItem imprimirMenuItem
public javax.swing.JMenuItem cerrarMenuItem
public javax.swing.JMenuItem cerrarTodoMenuItem
public javax.swing.JMenuItem salirMenuItem
public javax.swing.JMenuItem deshacerMenuItem
public javax.swing.JMenuItem rehacerMenuItem
public javax.swing.JMenuItem cortarMenuItem
public javax.swing.JMenuItem copiarMenuItem
public javax.swing.JMenuItem pegarMenuItem
public javax.swing.JMenuItem seleccionarTodoMenuItem
public javax.swing.JMenuItem preferenciasMenuItem
public javax.swing.JMenuItem buscar
public javax.swing.JMenuItem reemplazar
public javax.swing.JMenuItem irLinea
public javax.swing.JMenuItem displayGrafoMenuItem
public javax.swing.JMenuItem displayGrafoTiposMenuItem
public javax.swing.JMenuItem displayInformacionMenuItem
public javax.swing.JMenu verToolBar
public javax.swing.JCheckBoxMenuItem verToolSuperior
public javax.swing.JCheckBoxMenuItem verToolInferior
public javax.swing.JMenuItem mandarComandoMenuItem
public javax.swing.JMenuItem mandarDirectMenuItem
public javax.swing.JMenuItem iniciarCoreMenuItem
public javax.swing.JMenuItem iniciarFullMenuItem
public javax.swing.JMenuItem finalizarCoreMenuItem
public javax.swing.JMenuItem mandarLoopInitMenuItem
public javax.swing.JMenuItem clearErrorsMenuItem
public javax.swing.JMenuItem iniciarTraza
public javax.swing.JMenuItem iniciarDepurador
public javax.swing.JMenuItem ayudaMaude2MenuItem
public javax.swing.JMenuItem ayudaWorkMenuItem
public javax.swing.JMenuItem acercadeMenuItem
Constructor Detail |
---|
public ClaseBarraMenu(Entorno ent)
ent
- JFrame padre a que insertar esta barra de menuMethod Detail |
---|
private void setLanguageSpanish()
private static boolean comprobarRuta(java.lang.String ruta)
private void descargarFichero(java.lang.String nomFich, java.net.URL rutafich)
nomFich
- ruta de descarga del ficherorutafich
- ruta del fichero a descargarprivate void AnadirEventosDescripcion()
public void actionPerformed(java.awt.event.ActionEvent ae)
actionPerformed
in interface java.awt.event.ActionListener
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |