ui

Class GUI

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

ui.GUI

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class GUI
extends javax.swing.JFrame

The GUI is the controlling frame for the toolkit application. It extends the JFrame class and creates a tab pane for separate ODEWorkspaces, initialized with a single new ODEWorkspace, and a menubar. It first launches a splash bitmap displaying the logo for ODEToolkit. It determines what libraries have loaded and displays the success/failure of their loading. It also specifies methods for adding, removing, saving, and opening workspaces.

Author:

Clinic 08-09

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.Type

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.BaselineResizeBehavior

Field Summary

Fields

Modifier and Type	Field and Description
static ODEWorkspace	activeWorkspace The ODEWorkspace corresponding to the selected workspace
static InputPanel	inputPanel The input panel on the left side of the screen
static MenuBar	menuBar The menu on the top of the screen
static java.lang.String	ODETOOLKIT_VERSION The name to be shown at the top
static java.lang.String	osName The name of the OS
static StatusBar	statusBar The status bar at the lower left corner of the screen
static javax.swing.JTabbedPane	workspaces The tabbed pane, each pane represents a workspace

Fields inherited from class javax.swing.JFrame

EXIT_ON_CLOSE

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.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

Constructors

Constructor and Description
GUI() Constructor for GUI, with initializations included

Method Summary

Methods

Modifier and Type	Method and Description
void	addWorkspace() Add a blank ODEWorkspace to the program - automatic naming
void	addWorkspace(ODEWorkspace newWorkspace) Add a new ODEWorkspace to the program
void	exit() Close the program.
void	export() Export the selected tab of the selected workspace to Postscript.
void	openWorkspace(java.io.File f) Opens the workspace located in f
void	openWorkspace(java.net.URL url) Opens the workspace located in URL url
void	print() Print the selected tab of the selected workspace.
void	removeWorkspace() Remove a workspace from the program
void	saveWorkspace(java.io.File f) Saves the current workspace to the provided file.
void	showDialog(javax.swing.JDialog d) Show the given dialog
void	showMessage(java.lang.String text, java.lang.String header, int flag) Create a dialog and show the given message

Methods inherited from class javax.swing.JFrame

getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, 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, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, dispatchEvent, enable, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

workspaces

public static javax.swing.JTabbedPane workspaces

The tabbed pane, each pane represents a workspace

activeWorkspace

public static ODEWorkspace activeWorkspace

The ODEWorkspace corresponding to the selected workspace

inputPanel

public static InputPanel inputPanel

The input panel on the left side of the screen

menuBar

public static MenuBar menuBar

The menu on the top of the screen

statusBar

public static StatusBar statusBar

The status bar at the lower left corner of the screen

ODETOOLKIT_VERSION

public static final java.lang.String ODETOOLKIT_VERSION

The name to be shown at the top

osName

public static final java.lang.String osName

The name of the OS

Constructor Detail

GUI

public GUI()

Constructor for GUI, with initializations included

Method Detail

addWorkspace

public void addWorkspace(ODEWorkspace newWorkspace)

Add a new ODEWorkspace to the program

Parameters:

newWorkspace - the new ODEWorkspace to add

addWorkspace

public void addWorkspace()

Add a blank ODEWorkspace to the program - automatic naming

removeWorkspace

public void removeWorkspace()

Remove a workspace from the program

saveWorkspace

public void saveWorkspace(java.io.File f)

Saves the current workspace to the provided file. Assumes that the provided file is valid for writing. Does not allow saving to a file being currently opened.

Parameters:

f - the file to be save to

openWorkspace

public void openWorkspace(java.io.File f)
                   throws java.lang.InterruptedException

Opens the workspace located in f

Parameters:

f - is the file where the workspace is located. f is stored in XML format.

Throws:

java.lang.InterruptedException

See Also:

ODEFileHandler

openWorkspace

public void openWorkspace(java.net.URL url)
                   throws java.lang.InterruptedException

Opens the workspace located in URL url

Parameters:

url - is the URL location to a file where the workspace is located. f is stored in XML format.

Throws:

java.lang.InterruptedException

See Also:

ODEFileHandler

exit

public void exit()

Close the program.

showDialog

public void showDialog(javax.swing.JDialog d)

Show the given dialog

Parameters:

d - the JDialog to show

showMessage

public void showMessage(java.lang.String text,
               java.lang.String header,
               int flag)

Create a dialog and show the given message

Parameters:

text - the text of the message

header - the header for the dialog box

flag - the flag of the message

print

public void print()

Print the selected tab of the selected workspace.

export

public void export()

Export the selected tab of the selected workspace to Postscript.