entorno
Class ClaseBarraMenu

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JToolBar
                  extended by entorno.ClaseBarraMenu
All Implemented Interfaces:
javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, MaudeEditorConstantes, java.awt.MenuContainer, java.io.Serializable, javax.swing.SwingConstants

public class ClaseBarraMenu
extends javax.swing.JToolBar
implements MaudeEditorConstantes, java.awt.event.ActionListener

Funcion: Crea la barra del menu de nuestro entorno

See Also:
Serialized Form

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 entorno.MaudeEditorConstantes
ARCHIVO_ACCION_CLOSE, ARCHIVO_ACCION_CLOSE_ALL, ARCHIVO_ACCION_CLOSE_ALL_E, ARCHIVO_ACCION_CLOSE_E, ARCHIVO_ACCION_EXIT, ARCHIVO_ACCION_EXIT_E, ARCHIVO_ACCION_NEW, ARCHIVO_ACCION_NEW_E, ARCHIVO_ACCION_OPEN, ARCHIVO_ACCION_OPEN_E, ARCHIVO_ACCION_PAGE_SETUP, ARCHIVO_ACCION_PAGE_SETUP_E, ARCHIVO_ACCION_PRINT, ARCHIVO_ACCION_PRINT_E, ARCHIVO_ACCION_SAVE, ARCHIVO_ACCION_SAVE_AS, ARCHIVO_ACCION_SAVE_AS_E, ARCHIVO_ACCION_SAVE_E, AREA_EDITOR, AREA_MAUDE, BUSCAR_ACCION_FIND, BUSCAR_ACCION_FIND_E, BUSCAR_ACCION_GO_LINE, BUSCAR_ACCION_GO_LINE_E, BUSCAR_ACCION_REPLACE, BUSCAR_ACCION_REPLACE_E, COLOR_COMENTARIOS, COLOR_CURSOR, COLOR_ECUACIONES, COLOR_FONDO, COLOR_FONDO_TEXTO_SELECCIONADO, COLOR_MODULOS, COLOR_PROPIEDADES, COLOR_TEXTO_NORMAL, COLOR_TEXTO_SELECCIONADO, COLOR_VARIABLES, DEPURADOR_ABORTAR, DEPURADOR_ABORTAR_E, DEPURADOR_ACTIVAR, DEPURADOR_ACTIVAR_E, DEPURADOR_DAR1PASO, DEPURADOR_DAR1PASO_E, DEPURADOR_DONDE, DEPURADOR_DONDE_E, DEPURADOR_PUNTOSRUPTURA, DEPURADOR_PUNTOSRUPTURA_E, DEPURADOR_RESUMIR, DEPURADOR_RESUMIR_E, DEPURADOR_TITULO, DEPURADOR_TITULO_E, EDICION_ACCION_COPY, EDICION_ACCION_COPY_E, EDICION_ACCION_CUT, EDICION_ACCION_CUT_E, EDICION_ACCION_DELETE, EDICION_ACCION_DELETE_E, EDICION_ACCION_PASTE, EDICION_ACCION_PASTE_E, EDICION_ACCION_REDO, EDICION_ACCION_REDO_E, EDICION_ACCION_SELECT_ALL, EDICION_ACCION_SELECT_ALL_E, EDICION_ACCION_UNDO, EDICION_ACCION_UNDO_E, EDICION_VER_BARRA_INF, EDICION_VER_BARRA_INF_E, EDICION_VER_BARRA_SUP, EDICION_VER_BARRA_SUP_E, EDICION_VER_BARRAS_HERR, EDICION_VER_BARRAS_HERR_E, EDITOR_ACCION_COMANDO, EDITOR_ACCION_COMANDO_E, EDITOR_ACCION_ENVIAR, EDITOR_ACCION_ENVIAR_E, ESTA_COLOREADO, ESTA_SELECT_SALIDA, ESTA_SELECT_SERVIDOR, ESTILO_LETRA, GRAFO_ESCALA, GRAFO_ESCALA_E, GRAFO_EXIT, GRAFO_EXIT_E, GRAFO_PAGE_SETUP, GRAFO_PAGE_SETUP_E, GRAFO_PRINT, GRAFO_PRINT_E, GRAFO_VIEW_CLASES, GRAFO_VIEW_CLASES_E, GRAFO_VIEW_MODS_PREDEF, GRAFO_VIEW_MODS_PREDEF_E, GRAFO_VIEW_MODS_PREDEF_FULL, GRAFO_VIEW_MODS_PREDEF_FULL_E, GRAFO_VIEW_REL, GRAFO_VIEW_REL_BOOL, GRAFO_VIEW_REL_BOOL_E, GRAFO_VIEW_REL_E, GRAFO_VIEW_REL_UP, GRAFO_VIEW_REL_UP_E, GRAFO_VIEW_TIPOS, GRAFO_VIEW_TIPOS_E, HELP_ACCION_ABOUT, HELP_ACCION_ABOUT_E, HELP_AYUDA_MAUDE_WORKSTATION, HELP_AYUDA_MAUDE_WORKSTATION_E, HELP_AYUDA_MAUDE2, HELP_AYUDA_MAUDE2_E, IDIOMA, IP_SERVIDOR, MAUDE_ACCION_CLEAR_ERRORS, MAUDE_ACCION_CLEAR_ERRORS_E, MAUDE_ACCION_DISPLAY_GRAFO, MAUDE_ACCION_DISPLAY_GRAFO_E, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS, MAUDE_ACCION_DISPLAY_GRAFO_TIPOS_E, MAUDE_ACCION_INIT_FULL_MAUDE, MAUDE_ACCION_INIT_FULL_MAUDE_E, MAUDE_ACCION_INIT_MAUDE, MAUDE_ACCION_INIT_MAUDE_E, MAUDE_ACCION_LOOP_INIT, MAUDE_ACCION_LOOP_INIT_E, MAUDE_ACCION_OPEN, MAUDE_ACCION_OPEN_E, MAUDE_ACCION_QUIT_MAUDE, MAUDE_ACCION_QUIT_MAUDE_E, MAUDE_ACCION_REWRITE, MAUDE_ACCION_REWRITE_E, MAUDE_ACCION_SAVE_AS, MAUDE_ACCION_SAVE_AS_E, MAUDE_ACCION_SHOW, MAUDE_ACCION_SHOW_E, MAUDE_SHOW_ALL, MAUDE_SHOW_ALL_E, MAUDE_SHOW_CLASSES, MAUDE_SHOW_CLASSES_E, MAUDE_SHOW_EQ, MAUDE_SHOW_EQ_E, MAUDE_SHOW_LABELS, MAUDE_SHOW_LABELS_E, MAUDE_SHOW_MEMBERSHIPS, MAUDE_SHOW_MEMBERSHIPS_E, MAUDE_SHOW_MESSAGES, MAUDE_SHOW_MESSAGES_E, MAUDE_SHOW_MODULE, MAUDE_SHOW_MODULE_E, MAUDE_SHOW_OPERS, MAUDE_SHOW_OPERS_E, MAUDE_SHOW_RULES, MAUDE_SHOW_RULES_E, MAUDE_SHOW_SORTS, MAUDE_SHOW_SORTS_E, MODULO_ACTIVO, MODULO_ACTIVO_E, NOMBRE_FICH_SALIDA, PALABRAS_ECUACIONES, PALABRAS_MODULOS, PALABRAS_PROPIEDADES, PALABRAS_VARIABLES, PESTANA_EMULADOR, PESTANA_ERROR, PESTANA_RESULT, PREFERENCES, PREFERENCES_E, PROMPT_FULL_MAUDE, PUERTO_SERVIDOR, RUTA_ACROBAT_READER, RUTA_DOCUMENT_MAUDE, RUTA_FICH_SALIDA, RUTA_FULL_MAUDE, RUTA_MAUDE, RUTA_TRABAJO, SERVIDOR_EVENTO_CTRL_C, SERVIDOR_INSERTAR_FULL_MAUDE, TAMANO_BUFFER_COLOR, TAMANO_BUFFER_EMULADOR, TAMANO_FICH_SALIDA, TAMANO_LETRA, TIPO_LETRA, TITULO_NUEVO, TITULO_VENT_PRINC, TITULO_VENT_PRINC_CORE, TITULO_VENT_PRINC_FULL, TRAZA_ACTIVAR, TRAZA_ACTIVAR_E, TRAZA_CONDITION, TRAZA_CONDITION_E, TRAZA_EQ, TRAZA_EQ_E, TRAZA_ETIQUETAS, TRAZA_ETIQUETAS_E, TRAZA_MB, TRAZA_MB_E, TRAZA_MODULOS, TRAZA_MODULOS_E, TRAZA_OPERADORES, TRAZA_OPERADORES_E, TRAZA_RL, TRAZA_RL_E, TRAZA_SELECT, TRAZA_SELECT_E, TRAZA_SELECT_WHAT, TRAZA_SELECT_WHAT_E, TRAZA_SUBSTITUTION, TRAZA_SUBSTITUTION_E, TRAZA_TITULO, TRAZA_TITULO_E, TRAZA_WHOLE, TRAZA_WHOLE_E
 
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

entorno

private Entorno entorno

menuPrinc

private javax.swing.JMenuBar menuPrinc

estado

public javax.swing.JLabel estado
El testigo de Maude WorkStation


archivoMenu

public javax.swing.JMenu archivoMenu

edicionMenu

public javax.swing.JMenu edicionMenu

busqueda

public javax.swing.JMenu busqueda

verMenu

public javax.swing.JMenu verMenu

maudeMenu

public javax.swing.JMenu maudeMenu

ayudaMenu

public javax.swing.JMenu ayudaMenu

nuevoMenuItem

public javax.swing.JMenuItem nuevoMenuItem
menu archivo


abrirMenuItem

public javax.swing.JMenuItem abrirMenuItem
menu archivo


guardarMenuItem

public javax.swing.JMenuItem guardarMenuItem
menu archivo


guardarComoMenuItem

public javax.swing.JMenuItem guardarComoMenuItem
menu archivo


pageSetupMenuItem

public javax.swing.JMenuItem pageSetupMenuItem
menu archivo


imprimirMenuItem

public javax.swing.JMenuItem imprimirMenuItem
menu archivo


cerrarMenuItem

public javax.swing.JMenuItem cerrarMenuItem
menu archivo


cerrarTodoMenuItem

public javax.swing.JMenuItem cerrarTodoMenuItem
menu archivo


salirMenuItem

public javax.swing.JMenuItem salirMenuItem
menu archivo


deshacerMenuItem

public javax.swing.JMenuItem deshacerMenuItem
menu edicion


rehacerMenuItem

public javax.swing.JMenuItem rehacerMenuItem
menu edicion


cortarMenuItem

public javax.swing.JMenuItem cortarMenuItem
menu edicion


copiarMenuItem

public javax.swing.JMenuItem copiarMenuItem
menu edicion


pegarMenuItem

public javax.swing.JMenuItem pegarMenuItem
menu edicion


seleccionarTodoMenuItem

public javax.swing.JMenuItem seleccionarTodoMenuItem
menu edicion


preferenciasMenuItem

public javax.swing.JMenuItem preferenciasMenuItem
menu edicion


buscar

public javax.swing.JMenuItem buscar
menu busqueda


reemplazar

public javax.swing.JMenuItem reemplazar
menu busqueda


irLinea

public javax.swing.JMenuItem irLinea
menu busqueda


displayGrafoMenuItem

public javax.swing.JMenuItem displayGrafoMenuItem
menu ver


displayGrafoTiposMenuItem

public javax.swing.JMenuItem displayGrafoTiposMenuItem
menu ver


displayInformacionMenuItem

public javax.swing.JMenuItem displayInformacionMenuItem
menu ver


verToolBar

public javax.swing.JMenu verToolBar

verToolSuperior

public javax.swing.JCheckBoxMenuItem verToolSuperior

verToolInferior

public javax.swing.JCheckBoxMenuItem verToolInferior

mandarComandoMenuItem

public javax.swing.JMenuItem mandarComandoMenuItem
menu ejecutar


mandarDirectMenuItem

public javax.swing.JMenuItem mandarDirectMenuItem
menu ejecutar


iniciarCoreMenuItem

public javax.swing.JMenuItem iniciarCoreMenuItem
menu ejecutar


iniciarFullMenuItem

public javax.swing.JMenuItem iniciarFullMenuItem
menu ejecutar


finalizarCoreMenuItem

public javax.swing.JMenuItem finalizarCoreMenuItem
menu ejecutar


mandarLoopInitMenuItem

public javax.swing.JMenuItem mandarLoopInitMenuItem
menu ejecutar


clearErrorsMenuItem

public javax.swing.JMenuItem clearErrorsMenuItem
menu ejecutar


iniciarTraza

public javax.swing.JMenuItem iniciarTraza
menu ejecutar


iniciarDepurador

public javax.swing.JMenuItem iniciarDepurador
menu ejecutar


ayudaMaude2MenuItem

public javax.swing.JMenuItem ayudaMaude2MenuItem
menu ayuda


ayudaWorkMenuItem

public javax.swing.JMenuItem ayudaWorkMenuItem
menu ayuda


acercadeMenuItem

public javax.swing.JMenuItem acercadeMenuItem
menu ayuda

Constructor Detail

ClaseBarraMenu

public ClaseBarraMenu(Entorno ent)
Constructor. Crea la barra de menu

Parameters:
ent - JFrame padre a que insertar esta barra de menu
Method Detail

setLanguageSpanish

private void setLanguageSpanish()
Establece el idioma de la barra de menu a español


comprobarRuta

private static boolean comprobarRuta(java.lang.String ruta)

descargarFichero

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

Parameters:
nomFich - ruta de descarga del fichero
rutafich - ruta del fichero a descargar

AnadirEventosDescripcion

private void AnadirEventosDescripcion()
Agnade el controlador de eventos para mostrar en la barra de estado la descripcion de la accion realizada por cada opcion


actionPerformed

public void actionPerformed(java.awt.event.ActionEvent ae)
Specified by:
actionPerformed in interface java.awt.event.ActionListener