|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
pipe.gui.GuiFrame
Nested Class Summary | |
(package private) class |
GuiFrame.AnimateAction
|
(package private) class |
GuiFrame.DeleteAction
|
(package private) class |
GuiFrame.ExampleFileAction
|
(package private) class |
GuiFrame.FileAction
|
(package private) class |
GuiFrame.GridAction
|
(package private) class |
GuiFrame.ToggleButton
A JToggleButton that watches an Action for selection change |
(package private) class |
GuiFrame.TypeAction
|
(package private) class |
GuiFrame.WindowHandler
|
Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
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 |
Fields inherited from class javax.swing.JFrame |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
Fields inherited from class java.awt.Frame |
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
Fields inherited from class java.awt.Window |
|
Fields inherited from class java.awt.Container |
|
Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
GuiFrame(java.lang.String title)
|
Method Summary | |
void |
actionPerformed(java.awt.event.ActionEvent e)
|
private void |
addButton(javax.swing.JToolBar toolBar,
GuiAction action)
|
private javax.swing.JMenuItem |
addMenuItem(javax.swing.JMenu menu,
javax.swing.Action action)
|
boolean |
checkForSave()
If current net has modifications, asks if you want to save and does it if you want. |
boolean |
checkForSaveAll()
|
void |
createNewTab(java.lang.String filename)
Creates a new tab with the selected file, or a new file if filename==null |
void |
disableGuiMenu()
|
void |
enableActions(boolean status)
|
void |
enableGuiMenu()
|
int |
getMode()
|
StatusBar |
getStatusBar()
|
void |
initExit()
|
void |
restoreMode()
|
private void |
saveNet(java.io.File outFile)
|
private void |
saveOperation(boolean forceSaveAs)
|
private void |
setAnimationMode(boolean on)
|
void |
setMode(int _mode)
|
void |
setObjects()
|
void |
setObjects(int place)
|
void |
setObjectsNull(int index)
|
void |
setRandomAnimationMode(boolean on)
|
void |
setTab()
|
void |
setTitle(java.lang.String title)
|
void |
update(java.util.Observable o,
java.lang.Object obj)
|
Methods inherited from class javax.swing.JFrame |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
Methods inherited from class java.awt.Frame |
addNotify, finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setUndecorated |
Methods inherited from class java.awt.Window |
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle |
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.awt.MenuContainer |
getFont, postEvent |
Field Detail |
private java.lang.String frameTitle
private DataLayer appModel
private GuiFrame appGui
private GuiView appView
private int mode
private int prev_mode
private int newNameCounter
private javax.swing.JTabbedPane appTab
private StatusBar statusBar
private javax.swing.JMenuBar menuBar
private GuiFrame.FileAction createAction
private GuiFrame.FileAction openAction
private GuiFrame.FileAction closeAction
private GuiFrame.FileAction saveAction
private GuiFrame.FileAction saveAsAction
private GuiFrame.FileAction exitAction
private GuiFrame.FileAction printAction
private GuiFrame.FileAction exportPNGAction
private GuiFrame.FileAction exportPSAction
private GuiFrame.GridAction toggleGrid
private GuiFrame.DeleteAction deleteAction
private GuiFrame.TypeAction annotationAction
private GuiFrame.TypeAction arcAction
private GuiFrame.TypeAction placeAction
private GuiFrame.TypeAction transAction
private GuiFrame.TypeAction timedtransAction
private GuiFrame.TypeAction tokenAction
private GuiFrame.TypeAction selectAction
private GuiFrame.TypeAction deleteTokenAction
private GuiFrame.AnimateAction startAction
private GuiFrame.AnimateAction stepforwardAction
private GuiFrame.AnimateAction stepbackwardAction
private GuiFrame.AnimateAction randomAction
private GuiFrame.AnimateAction randomAnimateAction
Constructor Detail |
public GuiFrame(java.lang.String title)
Method Detail |
private void addButton(javax.swing.JToolBar toolBar, GuiAction action)
private javax.swing.JMenuItem addMenuItem(javax.swing.JMenu menu, javax.swing.Action action)
public void enableActions(boolean status)
public StatusBar getStatusBar()
public void setObjects()
public void setObjects(int place)
public void setObjectsNull(int index)
public void setTab()
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed
in interface java.awt.event.ActionListener
public void update(java.util.Observable o, java.lang.Object obj)
update
in interface java.util.Observer
private void saveOperation(boolean forceSaveAs)
private void saveNet(java.io.File outFile)
public void createNewTab(java.lang.String filename)
filename
- Filename of net to load, or null to create a new, empty tabpublic boolean checkForSave()
public boolean checkForSaveAll()
public void setRandomAnimationMode(boolean on)
private void setAnimationMode(boolean on)
public void setMode(int _mode)
public int getMode()
public void restoreMode()
public void disableGuiMenu()
public void enableGuiMenu()
public void setTitle(java.lang.String title)
public void initExit()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |