ix.ip2
Class Ip2Frame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      ix.ip2.PanelFrame
                          ix.ip2.Ip2Frame

All Implemented Interfaces:

AgentNameListener, java.awt.event.ActionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

Direct Known Subclasses:

NewIp2Frame, PostixFrame

public class Ip2Frame
extends PanelFrame
implements java.awt.event.ActionListener

The main frame of the I-P2 user interface.

See Also:

Serialized Form

Nested Class Summary

(package private) class	Ip2Frame.HTMLViewer
static class	Ip2Frame.Ip2AboutFrame
(package private) class	Ip2Frame.Ip2HelpFrame

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

javax.swing.JFrame.AccessibleJFrame

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

java.awt.Frame.AccessibleAWTFrame

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

java.awt.Window.AccessibleAWTWindow

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

java.awt.Container.AccessibleAWTContainer

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

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

protected Ip2Frame.Ip2AboutFrame	aboutFrame
protected AgendaViewer	activityViewer
protected AnnotationViewer	annotationViewer
protected java.awt.Container	contentPane
protected HelpFrame	helpFrame
protected Ip2	ip2
protected AgendaViewer	issueViewer
protected javax.swing.JPanel	logoPanel
(package private) javax.swing.JSplitPane	split1
(package private) javax.swing.JSplitPane	split2
protected StateViewer	stateViewer
protected javax.swing.JMenuItem	undoMenuItem

Fields inherited from class ix.ip2.PanelFrame

agent, testMenu, toolManager

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

Ip2Frame(Ip2 ip2)

Method Summary

void	actionPerformed(java.awt.event.ActionEvent e)
protected void	addIp2Tools()
void	adjustAgendaItemPopup(AbstractAgendaItemPopupMenu menu, AgendaItem item)
protected void	becomeVisible()
void	ensureAboutFrame(java.lang.String subject, java.lang.String aboutText)
void	ensureAboutIP2()
void	ensureAboutSyntax()
HelpFrame	ensureHelpFrame()
HelpFrame	ensureHelpFrame(java.lang.String file)
Ip2Frame.HTMLViewer	ensureHTMLViewer()
java.lang.String	makeAboutText()
protected Ip2Frame.HTMLViewer	makeHTMLViewer()
protected javax.swing.JMenuBar	makeMenuBar()
java.lang.String	makeSyntaxText()
protected void	newConstraint()
protected void	setReasonableSize()
protected void	setUp()
void	symbolNameChanged(AgentNameEvent e) Handles a change in the panel's symbol-name.

Methods inherited from class ix.ip2.PanelFrame

addTest, addTestResources, addTests, addTests, addTestSeparator, addTestSubmenu, addTool, ensureChatFrameExists, ensureSendPanelExists, getAgent, getChatFrameVisible, getDomainEditor, getSendPanelVisible, getToolManager, makeDomainEditor, makeMenuItem

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Frame

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

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, 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, 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, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

contentPane

protected java.awt.Container contentPane

aboutFrame

protected Ip2Frame.Ip2AboutFrame aboutFrame

activityViewer

protected AgendaViewer activityViewer

issueViewer

protected AgendaViewer issueViewer

stateViewer

protected StateViewer stateViewer

annotationViewer

protected AnnotationViewer annotationViewer

ip2

protected Ip2 ip2

logoPanel

protected javax.swing.JPanel logoPanel

undoMenuItem

protected javax.swing.JMenuItem undoMenuItem

split1

javax.swing.JSplitPane split1

split2

javax.swing.JSplitPane split2

helpFrame

protected HelpFrame helpFrame

Constructor Detail

Ip2Frame

public Ip2Frame(Ip2 ip2)

Method Detail

setUp

protected void setUp()

becomeVisible

protected void becomeVisible()

setReasonableSize

protected void setReasonableSize()

symbolNameChanged

public void symbolNameChanged(AgentNameEvent e)

Handles a change in the panel's symbol-name.

Specified by:

symbolNameChanged in interface AgentNameListener

Overrides:

symbolNameChanged in class PanelFrame

addIp2Tools

protected void addIp2Tools()

makeHTMLViewer

protected Ip2Frame.HTMLViewer makeHTMLViewer()

ensureHTMLViewer

public Ip2Frame.HTMLViewer ensureHTMLViewer()

ensureHelpFrame

public HelpFrame ensureHelpFrame()

ensureHelpFrame

public HelpFrame ensureHelpFrame(java.lang.String file)

ensureAboutIP2

public void ensureAboutIP2()

ensureAboutFrame

public void ensureAboutFrame(java.lang.String subject,
                             java.lang.String aboutText)

makeAboutText

public java.lang.String makeAboutText()

ensureAboutSyntax

public void ensureAboutSyntax()

makeSyntaxText

public java.lang.String makeSyntaxText()

makeMenuBar

protected javax.swing.JMenuBar makeMenuBar()

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

Specified by:

actionPerformed in interface java.awt.event.ActionListener

newConstraint

protected void newConstraint()

adjustAgendaItemPopup

public void adjustAgendaItemPopup(AbstractAgendaItemPopupMenu menu,
                                  AgendaItem item)