ponderToolkit.mainConsole
Class PonderConsole

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--ponderToolkit.mainConsole.PonderConsole

All Implemented Interfaces:

javax.accessibility.Accessible, DocOwnerInterface, EditorOwnerInterface, java.util.EventListener, java.awt.image.ImageObserver, javax.swing.event.ListSelectionListener, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable, ToolOwnerI, javax.swing.WindowConstants, java.awt.event.WindowListener

public class PonderConsole

extends javax.swing.JFrame

implements java.awt.event.WindowListener, EditorOwnerInterface, DocOwnerInterface, ToolOwnerI, javax.swing.event.ListSelectionListener

Function: A main console class for the management toolkit

See Also:

Serialized Form

Inner classes inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Inner classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Inner classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent

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

PonderConsole(boolean newUseDB, boolean newUseHDB)
Constructor.

Method Summary

void	buildDomainBrowser() Create an istance of DomainBrowser Create a DomainBrowser tool if the useDB flag is true, otherwise create the Hyperbolic-DomainBrowser tool if the useHDB flag is true Use a PlainDomainBrowser otherwise
void	closingDoc(DocInterface doc) Closing a document.
void	closingTool(PonderToolI tool) The given tool has been closed.
EditorAction	getAction(java.lang.String id) return an Editor Action from the dictionary given the action name
PonderEditor	getPonderEditor() return the PonderEditor
void	lastFileClosed() The last opened document has been closed
void	openDoc(java.lang.String pathname) Open the file with the given pathname.
void	openedDoc(DocInterface doc) A document has been opened.
void	openedTool(PonderToolI tool) The given tool has been opened.
void	savedAsDoc(DocInterface doc, java.lang.String filename) The given Document has been saved.
void	savedDoc(DocInterface doc) The given Document has been saved.
void	valueChanged(javax.swing.event.ListSelectionEvent e) Method to implement the ListSelectionListener Interface.
void	windowActivated(java.awt.event.WindowEvent event)
void	windowClosed(java.awt.event.WindowEvent event)
void	windowClosing(java.awt.event.WindowEvent event) Quit only if there are no opened documents
void	windowDeactivated(java.awt.event.WindowEvent event)
void	windowDeiconified(java.awt.event.WindowEvent event)
void	windowIconified(java.awt.event.WindowEvent event)
void	windowOpened(java.awt.event.WindowEvent event)

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.awt.Frame

addNotify, finalize, getCursorType, getFrames, getIconImage, getMenuBar, getState, getTitle, isResizable, remove, removeNotify, setCursor, setIconImage, setMenuBar, setResizable, setState, setTitle

Methods inherited from class java.awt.Window

addWindowListener, applyResourceBundle, applyResourceBundle, dispose, getFocusOwner, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getOwnedWindows, getOwner, getToolkit, getWarningString, hide, isShowing, pack, postEvent, processEvent, removeWindowListener, setCursor, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFont, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputMethodRequests, getLocation, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isFocusTraversable, 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, processMouseEvent, processMouseMotionEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus

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

Constructor Detail

PonderConsole

public PonderConsole(boolean newUseDB,
                     boolean newUseHDB)

Constructor.

Parameters:

newUseDB - If true it means that the DomainBrowser will be used

Method Detail

getPonderEditor

public PonderEditor getPonderEditor()

return the PonderEditor

buildDomainBrowser

public void buildDomainBrowser()

Create an istance of DomainBrowser Create a DomainBrowser tool if the useDB flag is true, otherwise create the Hyperbolic-DomainBrowser tool if the useHDB flag is true Use a PlainDomainBrowser otherwise

valueChanged

public void valueChanged(javax.swing.event.ListSelectionEvent e)

Method to implement the ListSelectionListener Interface. Triggered when a change occurs on the file-list. Bring the selected tool or document to top.

Specified by:

valueChanged in interface javax.swing.event.ListSelectionListener

getAction

public EditorAction getAction(java.lang.String id)

return an Editor Action from the dictionary given the action name

openDoc

public void openDoc(java.lang.String pathname)

Open the file with the given pathname. It assumes it is a Policy file to be opened with a PonderEditor

lastFileClosed

public void lastFileClosed()

The last opened document has been closed

Specified by:

lastFileClosed in interface EditorOwnerInterface

openedDoc

public void openedDoc(DocInterface doc)

A document has been opened. Add it to the list of document interfaces and display it on the list

Specified by:

openedDoc in interface EditorOwnerInterface

closingDoc

public void closingDoc(DocInterface doc)

Closing a document. Remove it from the list of documents opened and refresh the display

Specified by:

closingDoc in interface EditorOwnerInterface

savedDoc

public void savedDoc(DocInterface doc)

The given Document has been saved. Update the list to display its name correctly

Specified by:

savedDoc in interface DocOwnerInterface

savedAsDoc

public void savedAsDoc(DocInterface doc,
                       java.lang.String filename)

The given Document has been saved. Update the list to display its name correctly

Specified by:

savedAsDoc in interface DocOwnerInterface

openedTool

public void openedTool(PonderToolI tool)

The given tool has been opened. Add it to the tool-list and refresh the display

Specified by:

openedTool in interface ToolOwnerI

closingTool

public void closingTool(PonderToolI tool)

The given tool has been closed. Refresh the display

Specified by:

closingTool in interface ToolOwnerI

windowClosing

public void windowClosing(java.awt.event.WindowEvent event)

Quit only if there are no opened documents

Specified by:

windowClosing in interface java.awt.event.WindowListener

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent event)

Specified by:

windowDeiconified in interface java.awt.event.WindowListener

windowIconified

public void windowIconified(java.awt.event.WindowEvent event)

Specified by:

windowIconified in interface java.awt.event.WindowListener

windowOpened

public void windowOpened(java.awt.event.WindowEvent event)

Specified by:

windowOpened in interface java.awt.event.WindowListener

windowClosed

public void windowClosed(java.awt.event.WindowEvent event)

Specified by:

windowClosed in interface java.awt.event.WindowListener

windowActivated

public void windowActivated(java.awt.event.WindowEvent event)

Specified by:

windowActivated in interface java.awt.event.WindowListener

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent event)

Specified by:

windowDeactivated in interface java.awt.event.WindowListener