argutia.gui
Class Menu

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JMenuBar
                  extended by argutia.gui.Menu
All Implemented Interfaces:
ComputationListener, FileListener, ActionListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible, MenuElement
public class Menu
extends JMenuBar
implements ActionListener, FileListener, ComputationListener

Pour la liaison avec le navigateur lors de l'affichage de la javadoc, voir Browser.

Author:
Geoffroy AUBRY
See Also:
Serialized Form
Nested Class Summary
private class Menu.ArgutiaFileFilter
          Filtre permettant de pré-selectionner les fichiers relatifs à l'application (*.arg)
 
Nested classes/interfaces inherited from class javax.swing.JMenuBar
JMenuBar.AccessibleJMenuBar
 
Nested classes/interfaces inherited from class javax.swing.JComponent
JComponent.AccessibleJComponent
 
Nested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainer
 
Nested classes/interfaces inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy
 
Field Summary
private File fichierOuvert
           
private JFileChooser fileChooser
           
private FileEvent.Type lastFileEventType
           
private EventListenerList listeners
           
private JFrame mainFrame
           
private JMenuItem menuItemAPropos
           
private JMenuItem menuItemDocumentation
           
private JMenuItem menuItemEnregistrer
           
private JMenuItem menuItemEnregistrerSous
           
private JMenuItem menuItemNouveau
           
private JMenuItem menuItemOuvrir
           
private JMenuItem menuItemQuitter
           
private static long serialVersionUID
          The serial version of this class.
 
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 java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
Menu(JFrame mainFrame)
           
 
Method Summary
private void actionNewFile()
           
private void actionOpenFile()
           
 void actionPerformed(ActionEvent e)
           
(package private ) void actionSaveFile()
           
private void actionSaveFile(boolean newName)
           
private void actionShowDoc()
           
 void addFileListener(FileListener l)
           
 void calculStateChanged(ComputationEvent e)
          Notifie l'écouteur qu'un événement est survenu concernant l'analyse syntaxique, le calcul de la situation ou la génération des arguments.
private JMenu creerMenu(String clef)
           
private JMenuItem creerMenuItem(String clef)
           
 void fileStateChanged(FileEvent e)
          Notifie l'écouteur qu'un événement est survenu concernant la gestion des fichiers.
protected void fireFileEvent(FileEvent.Type type)
           
(package private ) File getOpenedFile()
           
(package private ) int isStatutFileOK(String message)
           
 void removeFileListener(FileListener l)
           
(package private ) void setOpenFile(File openedFile)
           
 
Methods inherited from class javax.swing.JMenuBar
add, addNotify, getAccessibleContext, getComponent, getComponentAtIndex, getComponentIndex, getHelpMenu, getMargin, getMenu, getMenuCount, getSelectionModel, getSubElements, getUI, getUIClassID, isBorderPainted, isSelected, menuSelectionChanged, paintBorder, paramString, processKeyBinding, processKeyEvent, processMouseEvent, removeNotify, setBorderPainted, setHelpMenu, setMargin, setSelected, setSelectionModel, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, 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, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, 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, addImpl, 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, setLayout, 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

serialVersionUID

private static final long serialVersionUID
The serial version of this class.

See Also:
Serializable, Constant Field Values
Constant Field Value:
-8749283345016937654L

fichierOuvert

private File fichierOuvert

lastFileEventType

private FileEvent.Type lastFileEventType

menuItemNouveau

private final JMenuItem menuItemNouveau

menuItemOuvrir

private final JMenuItem menuItemOuvrir

menuItemQuitter

private final JMenuItem menuItemQuitter

menuItemEnregistrer

private final JMenuItem menuItemEnregistrer

menuItemEnregistrerSous

private final JMenuItem menuItemEnregistrerSous

menuItemDocumentation

private final JMenuItem menuItemDocumentation

menuItemAPropos

private final JMenuItem menuItemAPropos

fileChooser

private final JFileChooser fileChooser

mainFrame

private final JFrame mainFrame

listeners

private final EventListenerList listeners
Constructor Detail

Menu

public Menu(JFrame mainFrame)
Method Detail

addFileListener

public void addFileListener(FileListener l)

removeFileListener

public void removeFileListener(FileListener l)

fireFileEvent

protected void fireFileEvent(FileEvent.Type type)

creerMenu

private JMenu creerMenu(String clef)

creerMenuItem

private JMenuItem creerMenuItem(String clef)

actionPerformed

public void actionPerformed(ActionEvent e)
Specified by:
actionPerformed in interface ActionListener

actionShowDoc

private void actionShowDoc()

isStatutFileOK

int isStatutFileOK(String message)

actionOpenFile

private void actionOpenFile()

setOpenFile

void setOpenFile(File openedFile)

actionSaveFile

void actionSaveFile()

getOpenedFile

File getOpenedFile()

actionSaveFile

private void actionSaveFile(boolean newName)

actionNewFile

private void actionNewFile()

fileStateChanged

public void fileStateChanged(FileEvent e)
Description copied from interface: FileListener
Notifie l'écouteur qu'un événement est survenu concernant la gestion des fichiers.

Specified by:
fileStateChanged in interface FileListener
Parameters:
e - événement concernant la gestion des fichiers.

calculStateChanged

public void calculStateChanged(ComputationEvent e)
Description copied from interface: ComputationListener
Notifie l'écouteur qu'un événement est survenu concernant l'analyse syntaxique, le calcul de la situation ou la génération des arguments.

Specified by:
calculStateChanged in interface ComputationListener
Parameters:
e - événement survenu.
Argutia JavaDoc
23 décembre 2007