pla
Class PLAFrame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      g2d.swing.IOPFrame
                          g2d.mwa.MWAFrame
                              pla.IDFrame
                                  pla.PLAFrame

All Implemented Interfaces:

ControlListener, ComponentListener, WindowListener, ImageObserver, MenuContainer, Serializable, Comparable, EventListener, Accessible, ChangeListener, RootPaneContainer, WindowConstants

Direct Known Subclasses:

PLACompareFrame, PLAMainFrame, PLASubFrame

public abstract class PLAFrame
extends IDFrame
implements ChangeListener

Author:

linda

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class pla.IDFrame

IDFrame.ID

Nested classes/interfaces inherited from class javax.swing.JFrame

JFrame.AccessibleJFrame

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

Frame.AccessibleAWTFrame

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

Window.AccessibleAWTWindow

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

Container.AccessibleAWTContainer

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

Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

static int	NAV_MAX_HEIGHT
static int	NAV_WIDTH

Fields inherited from class g2d.mwa.MWAFrame

initialSize, windowMenu

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

protected	PLAFrame(String title) Creates a main window frame for PLA application corresponding to one dish.
protected	PLAFrame(String title, MWAFrame parent) Creates a sub-window frame for PLA application that contains a path, a subnet of something similar that had been derived from a dish.

Method Summary

void	findOccurrences() Called when user chooses "Find Occurence..." from "Graph" menu.
void	findRules() Called when user chooses "Find Rule..." from "Graph" menu.
JMenu	getCompareMenu()
String	getDishName()
JMenu	getFileMenu()
JMenu	getFindMenu()
GraphPanel	getGraphPanel()
PLAMainFrame	getMainFrame() Walking up the hierarchy of frames until first one is found that is of class PLAMainFrame.
JMenu	getQueryMenu()
SEPanel	getSEPanel()
String	getTitleWithoutID()
ToolBar	getToolBar()
JMenu	getZoomMenu()
static void	hideProgressDialog() Hide current modal dialog with progress bar.
boolean	isEmpty()
void	setDishName(String dishName)
void	setGraph(PLAGraph graph) Set the graph of this frame to the given one.
void	setTitle(String s)
static void	showProgressDialog(String title, Component c) Show modal dialog with (indeterminante) progress bar with a given title.
void	stateChanged(ChangeEvent event)
void	windowClosed(WindowEvent event)
void	windowClosing(WindowEvent event)
void	windowOpened(WindowEvent event)

Methods inherited from class pla.IDFrame

getID

Methods inherited from class g2d.mwa.MWAFrame

close, compareTo, componentHidden, componentMoved, componentResized, componentShown, getChildrenFrames, getInitialSize, getJMenuBar, getParentFrame, getTopFrame, setDefaultCloseOperation, setInitialSize, setJMenuBar, updateWindows, windowActivated, windowDeactivated, windowDeiconified, windowIconified

Methods inherited from class g2d.swing.IOPFrame

add, add, add, getScreenSize, main, setSize, setSize

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, 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, 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, isAlwaysOnTop, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setAlwaysOnTop, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationByPlatform, 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, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, firePropertyChange, firePropertyChange, firePropertyChange, 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, 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, isOpaque, isPreferredSizeSet, 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, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setMinimumSize, setName, setPreferredSize, 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

NAV_WIDTH

public static final int NAV_WIDTH

See Also:

Constant Field Values

NAV_MAX_HEIGHT

public static final int NAV_MAX_HEIGHT

See Also:

Constant Field Values

Constructor Detail

PLAFrame

protected PLAFrame(String title)

Creates a main window frame for PLA application corresponding to one dish. The window has 3 areas: a display area (big), a navigator panel of fixed size, and a South-East panel of fixed width.

Parameters:

title - String with title of window; if empty or NULL, will display "untitled"

See Also:

NavPanel, SEPanel

PLAFrame

protected PLAFrame(String title,
                   MWAFrame parent)

Creates a sub-window frame for PLA application that contains a path, a subnet of something similar that had been derived from a dish. This window will not have the navigator panel nor the South-East panel.

Parameters:

title - String with title of window; if empty or NULL, will display "untitled"

parent - parent window of this sub-window

See Also:

NavPanel, SEPanel

Method Detail

setTitle

public void setTitle(String s)

Overrides:

setTitle in class MWAFrame

getTitleWithoutID

public String getTitleWithoutID()

windowOpened

public void windowOpened(WindowEvent event)

Specified by:

windowOpened in interface WindowListener

Overrides:

windowOpened in class MWAFrame

windowClosing

public void windowClosing(WindowEvent event)

Specified by:

windowClosing in interface WindowListener

Overrides:

windowClosing in class MWAFrame

windowClosed

public void windowClosed(WindowEvent event)

Specified by:

windowClosed in interface WindowListener

Overrides:

windowClosed in class MWAFrame

getMainFrame

public PLAMainFrame getMainFrame()

Walking up the hierarchy of frames until first one is found that is of class PLAMainFrame.

Returns:

First main frame encountered walking up frame hierarchy of null if none such found

getDishName

public String getDishName()

setDishName

public void setDishName(String dishName)

findOccurrences

public void findOccurrences()

Called when user chooses "Find Occurence..." from "Graph" menu.

findRules

public void findRules()

Called when user chooses "Find Rule..." from "Graph" menu.

getFileMenu

public JMenu getFileMenu()

getFindMenu

public JMenu getFindMenu()

getQueryMenu

public JMenu getQueryMenu()

getCompareMenu

public JMenu getCompareMenu()

getZoomMenu

public JMenu getZoomMenu()

getToolBar

public ToolBar getToolBar()

getGraphPanel

public GraphPanel getGraphPanel()

getSEPanel

public SEPanel getSEPanel()

setGraph

public void setGraph(PLAGraph graph)

Set the graph of this frame to the given one. Sets the buffered image of the graph in the navigator. Infers lists of occurrences and rules from the given graph, and then updates the SE panel accordingly.

Will also hide any open progress dialog.

Parameters:

graph - PLAGraph to be set in this frame

isEmpty

public boolean isEmpty()

showProgressDialog

public static void showProgressDialog(String title,
                                      Component c)

Show modal dialog with (indeterminante) progress bar with a given title.

Parameters:

title - String with title for dialog

c - Component to center dialog over

hideProgressDialog

public static void hideProgressDialog()

Hide current modal dialog with progress bar.

stateChanged

public void stateChanged(ChangeEvent event)

Specified by:

stateChanged in interface ChangeListener