ix.ip2
Class Ip2Frame

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by java.awt.Window
              extended by java.awt.Frame
                  extended by javax.swing.JFrame
                      extended by ix.ip2.PanelFrame
                          extended by 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)