argutia.gui
Class Menu
java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JMenuBar
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) |
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 |
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
Menu
public Menu(JFrame mainFrame)
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