|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JMenuBar
org.musoft.limo.application.MenuBar
edu.udo.cs.miningmart.gui.application.MiningMartMenuBar
A MenuBar
for the MiningMartApplication
.
Nested Class Summary |
Nested classes inherited from class org.musoft.limo.application.MenuBar |
org.musoft.limo.application.MenuBar.RescentCommand |
Nested classes inherited from class javax.swing.JMenuBar |
javax.swing.JMenuBar.AccessibleJMenuBar |
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.JCheckBoxMenuItem |
show_annotations
|
javax.swing.JCheckBoxMenuItem |
show_help
|
javax.swing.JCheckBoxMenuItem |
show_tools
|
Fields inherited from class org.musoft.limo.application.MenuBar |
GTK_LOOK_AND_FEEL, parent, rescentFilesMenu |
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 | |
MiningMartMenuBar(org.musoft.limo.application.Application p)
Constructor for MiningMartMenuBar. |
Method Summary | |
protected javax.swing.JMenu |
createCaseMenu()
Creates the menu for the case. |
javax.swing.JMenu |
createCompileMenu()
Create Compile Menu |
javax.swing.JMenu |
createEditMenu()
Creates the edit-menu. |
javax.swing.JMenu |
createHelpMenu()
Create a help-menu |
javax.swing.JMenu |
createInsertMenu()
Create Insert Menu |
protected void |
createMenus()
Creates the menus. |
org.musoft.limo.application.IconCommandMenu |
createOperatorMenu()
|
javax.swing.JMenu |
createToolsMenu()
Create Tools Menu |
javax.swing.JMenu |
createWindowMenu()
Creates the window-menu. |
org.musoft.limo.application.IconCommandMenu |
getOperatorsMenu()
|
RecentFiles |
getRecentCases()
Gets the recent cases. |
void |
initItemStates()
Inits the states of the menu-items. |
void |
promptCloseItemStates()
Sets the state of the menu-items when closing a case. |
void |
promptDoneCompilationItemStates()
Sets the state of the compile menu-items when the compilation is done. |
void |
promptNewItemStates()
Sets the state of the menu-items for a new case. |
void |
promptOpenItemStates()
Sets the state of the menu-items after a case was opened. |
void |
promptStartCompilationItemStates()
Sets the state of the compile menu-items when the compilation starts. |
void |
promptSwitchEditor()
Switches the mode of the editor in the menu. |
void |
removeRecentCases()
Removes cases which are not existing. |
void |
setRecentCases()
Sets the recent cases from the preferences. |
void |
setRecentCasesGUI()
Sets the GUI of the recent cases. |
Methods inherited from class org.musoft.limo.application.MenuBar |
addMenu, addMenuIfPossible, createDebugMenu, createFileMenu, getApplication, onModelCreated, onModelDestroying, onModelLoaded, onModelSaved, onModelSelectionChanged, onStateChanged, setItemState, setRadioItemState, setRecentFiles |
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, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, 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, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, 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, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, 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, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, 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 |
public javax.swing.JCheckBoxMenuItem show_tools
public javax.swing.JCheckBoxMenuItem show_annotations
public javax.swing.JCheckBoxMenuItem show_help
Constructor Detail |
public MiningMartMenuBar(org.musoft.limo.application.Application p)
p
- the Application
.Method Detail |
protected void createMenus()
public RecentFiles getRecentCases()
public void setRecentCases()
Application.loadParams()
public void removeRecentCases()
public void setRecentCasesGUI()
public void initItemStates()
public void promptStartCompilationItemStates()
public void promptDoneCompilationItemStates()
public void promptOpenItemStates()
public void promptNewItemStates()
public void promptCloseItemStates()
public void promptSwitchEditor()
protected javax.swing.JMenu createCaseMenu()
public javax.swing.JMenu createEditMenu()
public javax.swing.JMenu createWindowMenu()
public javax.swing.JMenu createHelpMenu()
public javax.swing.JMenu createCompileMenu()
public javax.swing.JMenu createToolsMenu()
public javax.swing.JMenu createInsertMenu()
public org.musoft.limo.application.IconCommandMenu getOperatorsMenu()
public org.musoft.limo.application.IconCommandMenu createOperatorMenu()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |