zeus.generator.task
Class TaskNodePanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  zeus.generator.task.TaskNodePanel

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public class TaskNodePanel

extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

protected class	TaskNodePanel.GroupToolBar
protected class	TaskNodePanel.SymFocusAction
protected class	TaskNodePanel.SymRenameAction

Nested classes inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

Nested classes inherited from class javax.swing.JComponent

javax.swing.JComponent.AccessibleJComponent

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

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

Field Summary

(package private) static java.lang.String[]	ERROR_MESSAGE
protected javax.swing.JPanel	factPanel
protected boolean	isConditionalNode
protected javax.swing.JComboBox	leftCombo
protected GroupManager	leftGroupManager
protected javax.swing.JPanel	leftPanel
protected NameField	namefield
protected javax.swing.event.EventListenerList	nameListeners
protected java.util.Hashtable	nameTable
protected AttributeModel	postAttrModel
protected AttributeTable	postAttrTable
protected FactPanel	postconditionsPanel
protected AttributeModel	preAttrModel
protected AttributeTable	preAttrTable
protected FactPanel	preconditionsPanel
protected java.lang.String	previousName
protected javax.swing.JComboBox	rightCombo
protected GroupManager	rightGroupManager
protected javax.swing.JPanel	rightPanel
protected TaskNodePanel.GroupToolBar	toolbar

Fields inherited from class javax.swing.JPanel

Fields inherited from class javax.swing.JComponent

accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Container

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

TaskNodePanel(OntologyDb ontologyDb, javax.swing.event.ChangeListener parent)

Method Summary

void	addRenameListener(RenameListener x)
protected void	errorMsg(int tag)
protected void	fireRenameAction(java.lang.Object src, java.lang.Object prev, java.lang.Object curr)
(package private) java.util.Hashtable	getNameTable()
(package private) TaskNode	getNode()
(package private) GroupManager	getPostconditionsManager()
(package private) GroupManager	getPreconditionsManager()
void	removeRenameListener(RenameListener x)
(package private) void	reset(TaskNode node)

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

ERROR_MESSAGE

static final java.lang.String[] ERROR_MESSAGE

nameListeners

protected javax.swing.event.EventListenerList nameListeners

isConditionalNode

protected boolean isConditionalNode

namefield

protected NameField namefield

preconditionsPanel

protected FactPanel preconditionsPanel

postconditionsPanel

protected FactPanel postconditionsPanel

factPanel

protected javax.swing.JPanel factPanel

leftPanel

protected javax.swing.JPanel leftPanel

rightPanel

protected javax.swing.JPanel rightPanel

leftGroupManager

protected GroupManager leftGroupManager

rightGroupManager

protected GroupManager rightGroupManager

leftCombo

protected javax.swing.JComboBox leftCombo

rightCombo

protected javax.swing.JComboBox rightCombo

toolbar

protected TaskNodePanel.GroupToolBar toolbar

nameTable

protected java.util.Hashtable nameTable

previousName

protected java.lang.String previousName

preAttrModel

protected AttributeModel preAttrModel

postAttrModel

protected AttributeModel postAttrModel

preAttrTable

protected AttributeTable preAttrTable

postAttrTable

protected AttributeTable postAttrTable

Constructor Detail

TaskNodePanel

public TaskNodePanel(OntologyDb ontologyDb,
                     javax.swing.event.ChangeListener parent)

Method Detail

errorMsg

protected void errorMsg(int tag)

getPostconditionsManager

GroupManager getPostconditionsManager()

getPreconditionsManager

GroupManager getPreconditionsManager()

getNode

TaskNode getNode()

getNameTable

java.util.Hashtable getNameTable()

reset

void reset(TaskNode node)

addRenameListener

public void addRenameListener(RenameListener x)

removeRenameListener

public void removeRenameListener(RenameListener x)

fireRenameAction

protected void fireRenameAction(java.lang.Object src,
                                java.lang.Object prev,
                                java.lang.Object curr)