fsmvis.gui
Class MenuPanel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--javax.swing.JPanel
                          |
                          +--fsmvis.gui.MenuPanel

public class MenuPanel
extends javax.swing.JPanel
implements java.awt.event.ActionListener, java.awt.event.ItemListener

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
 
Inner classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Field Summary
protected  javax.swing.JCheckBoxMenuItem animate
           
protected  java.lang.String[] colours
           
protected  javax.swing.JMenuItem contents
           
protected  javax.swing.JMenu display
           
protected  javax.swing.JCheckBoxMenuItem drawTrails
           
protected  javax.swing.JMenuItem export
           
protected  javax.swing.JMenu file
           
protected  javax.swing.JMenu help
           
protected  javax.swing.JMenuItem info
           
protected  javax.swing.JCheckBoxMenuItem information
           
protected  javax.swing.JMenuItem load
           
protected  javax.swing.JMenuBar menuBar
           
protected  javax.swing.JMenuItem newLayout
           
protected  javax.swing.JMenu overSubmenu
           
protected  Viewer parent
           
protected  javax.swing.JMenuItem quit
           
protected  javax.swing.JMenuItem reset
           
protected  javax.swing.JMenuItem save
           
protected  javax.swing.JMenu schemeSubmenu
           
protected  javax.swing.JMenu view
           
 
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
 
Constructor Summary
MenuPanel(Viewer parent)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
          Required by an ActionListener, is called whenever a button is pressed
 void disable()
          Disables the menu panel and turns off a lot of features
 void enable()
          Enables this menu panel
 void itemStateChanged(java.awt.event.ItemEvent e)
          called when the state of an item has changed, required by ItemListener
 void setAnimateState(boolean state)
          Accessor method to set the state of the animate checkbox item
 void setEnabled(boolean enable)
          called when the menu panel is to be disabled over enabled, modifies how some menu item are displayed, causes the save item to be enabled and the overSubmenu to be generated.
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUIClassID, paramString, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getAlignmentX, getAlignmentY, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getGraphics, getHeight, getInsets, getInsets, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getVisibleRect, getWidth, getX, getY, grabFocus, hasFocus, isDoubleBuffered, isFocusCycleRoot, isFocusTraversable, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, processComponentKeyEvent, processFocusEvent, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDoubleBuffered, setFont, setForeground, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setUI, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getLayout, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setLayout, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hide, imageUpdate, inside, isDisplayable, isEnabled, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processInputMethodEvent, processMouseEvent, remove, removeComponentListener, removeFocusListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

parent

protected Viewer parent

menuBar

protected javax.swing.JMenuBar menuBar

file

protected javax.swing.JMenu file

newLayout

protected javax.swing.JMenuItem newLayout

load

protected javax.swing.JMenuItem load

save

protected javax.swing.JMenuItem save

export

protected javax.swing.JMenuItem export

quit

protected javax.swing.JMenuItem quit

display

protected javax.swing.JMenu display

animate

protected javax.swing.JCheckBoxMenuItem animate

drawTrails

protected javax.swing.JCheckBoxMenuItem drawTrails

information

protected javax.swing.JCheckBoxMenuItem information

view

protected javax.swing.JMenu view

schemeSubmenu

protected javax.swing.JMenu schemeSubmenu

overSubmenu

protected javax.swing.JMenu overSubmenu

info

protected javax.swing.JMenuItem info

reset

protected javax.swing.JMenuItem reset

help

protected javax.swing.JMenu help

contents

protected javax.swing.JMenuItem contents

colours

protected java.lang.String[] colours
Constructor Detail

MenuPanel

public MenuPanel(Viewer parent)
Method Detail

setEnabled

public void setEnabled(boolean enable)
called when the menu panel is to be disabled over enabled, modifies how some menu item are displayed, causes the save item to be enabled and the overSubmenu to be generated.
Parameters:
enable - The new state of the menu
Overrides:
setEnabled in class javax.swing.JComponent

enable

public void enable()
Enables this menu panel
Overrides:
enable in class java.awt.Component

setAnimateState

public void setAnimateState(boolean state)
Accessor method to set the state of the animate checkbox item
Parameters:
state - The desired state of the checkbox item

disable

public void disable()
Disables the menu panel and turns off a lot of features
Overrides:
disable in class java.awt.Component

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Required by an ActionListener, is called whenever a button is pressed
Specified by:
actionPerformed in interface java.awt.event.ActionListener
Parameters:
e - The action event that caused this to be called

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent e)
called when the state of an item has changed, required by ItemListener
Specified by:
itemStateChanged in interface java.awt.event.ItemListener