org.ceryle.wiki.event
Class AssertionEventMonitor

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      org.ceryle.wiki.event.WikiEventMonitor
                          org.ceryle.wiki.event.AssertionEventMonitor

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class AssertionEventMonitor
extends WikiEventMonitor

Extends WikiEventMonitor to add monitor support for AssertionEvents within the WikiEventManager (a singleton class).

Author:

Murray Altheim

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.ceryle.wiki.event.WikiEventMonitor

WikiEventMonitor.DialogDisposer

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 Color	COLOR_OBJECT The Color used for highlighting assertion objects.
static Color	COLOR_PAGENAME The Color used for highlighting assertion page names.
static Color	COLOR_PREDICATE The Color used for highlighting assertion predicates.
static Color	COLOR_SUBJECT The Color used for highlighting assertion subjects.

Fields inherited from class org.ceryle.wiki.event.WikiEventMonitor

COLOR_BASE, COLOR_BUTTONS, COLOR_TEXT_BG, COLOR_TEXT_FG, COLOR_TEXT_SBG, FONT_LABEL, FONT_MSG, FTS_FORMAT, m_errorStyle, m_framesize, m_noiseStyle, m_normalStyle, maxOutputChars

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

AssertionEventMonitor(String title)
Creates an event monitor dialog with optional title.

Method Summary

protected void	addStylesToDocument(StyledDocument doc) Add some Swing Styles to the text area to permit colorized text.
void	enableQueries(boolean b) Enable/disable assertion query features.
void	eventFired(WikiEvent event) Note that an event has been fired.
protected JPanel	getMiscSettingsPanel() Return the miscellaneous Settings panel.
protected JPanel	getOptionalSettingsPanel() Return any supplemental Settings panel, null if none.
protected void	initialize() Initialize the monitor's UI.
void	setVisible(boolean visible)
void	writeBlankLine() A convenience method that appends a newline character to the output.
void	writeLine(String message) Append the message to the output area in a normal style.

Methods inherited from class org.ceryle.wiki.event.WikiEventMonitor

appendBaseOutput, appendOutput, borderize, clearMessages, createCenterPanel, createCheckBox, createDialogButton, createLabel, createSouthPanel, createXBoxPanel, createYBoxPanel, getFriendlyTimeStamp, getSettingsPanel, getWikiEventFiltersPanel, setActive, writeError, writeMessage

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, 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, 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, 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, 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

COLOR_PAGENAME

public static Color COLOR_PAGENAME

The Color used for highlighting assertion page names.

COLOR_SUBJECT

public static Color COLOR_SUBJECT

The Color used for highlighting assertion subjects.

COLOR_PREDICATE

public static Color COLOR_PREDICATE

The Color used for highlighting assertion predicates.

COLOR_OBJECT

public static Color COLOR_OBJECT

The Color used for highlighting assertion objects.

Constructor Detail

AssertionEventMonitor

public AssertionEventMonitor(String title)

Creates an event monitor dialog with optional title.

Method Detail

initialize

protected void initialize()

Initialize the monitor's UI. Overrides the superclass.

Overrides:

initialize in class WikiEventMonitor

eventFired

public void eventFired(WikiEvent event)

Note that an event has been fired. Overrides the superclass for AssertionEvents.

Overrides:

eventFired in class WikiEventMonitor

Parameters:

event - the event fired

writeBlankLine

public void writeBlankLine()

A convenience method that appends a newline character to the output.

writeLine

public void writeLine(String message)

Append the message to the output area in a normal style. This also appends a newline character.

Parameters:

message - the message to write

getMiscSettingsPanel

protected JPanel getMiscSettingsPanel()

Return the miscellaneous Settings panel. This is a YBox panel that permits components to be added at the bottom.

Overrides:

getMiscSettingsPanel in class WikiEventMonitor

setVisible

public void setVisible(boolean visible)

Overrides:

setVisible in class Component

getOptionalSettingsPanel

protected JPanel getOptionalSettingsPanel()

Return any supplemental Settings panel, null if none. This is an optional YBox panel shown at the bottom (south) of the settings area.

Overrides:

getOptionalSettingsPanel in class WikiEventMonitor

enableQueries

public void enableQueries(boolean b)

Enable/disable assertion query features.

addStylesToDocument

protected void addStylesToDocument(StyledDocument doc)

Add some Swing Styles to the text area to permit colorized text.

This overrides the superclass to add assertion styles.

Overrides:

addStylesToDocument in class WikiEventMonitor