zeus.generator.util
Class FactPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  zeus.generator.util.FactPanel

All Implemented Interfaces:

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

public class FactPanel

extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

(package private) class	FactPanel.FactInstanceEditor
(package private) class	FactPanel.FactModifiersCellRenderer
(package private) class	FactPanel.FactModifiersEditor
(package private) class	FactPanel.FactToolBar
(package private) class	FactPanel.SymListAction

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

protected AttributeModel	aModel
protected AttributeTable	attributePanel
protected Fact[]	clipboard
protected javax.swing.event.ChangeListener	editor
(package private) static java.lang.String[]	ERROR_MESSAGE
protected FactModel	model
static int	NONE
protected OntologyDb	ontologyDb
static int	POSTCONDITION
static int	PRECONDITION
protected javax.swing.JTable	table
protected FactPanel.FactToolBar	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

FactPanel(javax.swing.event.ChangeListener editor, int modifierType, java.lang.String label, FactModel model)

FactPanel(javax.swing.event.ChangeListener editor, java.lang.String label, FactModel model)

FactPanel(OntologyDb ontologyDb, javax.swing.event.ChangeListener editor, Fact[] facts, boolean isVariable, int modifierType, java.lang.String label)

FactPanel(OntologyDb ontologyDb, javax.swing.event.ChangeListener editor, Fact[] facts, boolean isVariable, java.lang.String label)

Method Summary

protected Fact[]	cutSelectedRows()
protected void	deleteSelectedRow()
protected void	errorMsg(int tag)
AttributeModel	getAttributeModel()
AttributeTable	getAttributeTable()
Fact[]	getData()
FactModel	getFactModel()
protected Fact[]	getSelectedRows()
protected boolean	isRowSelected()
FactPanel.FactInstanceEditor	newInstanceEditor()
void	reset(Fact[] facts)
void	setToolBarState(boolean state)

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

NONE

public static final int NONE

See Also:

Constant Field Values

PRECONDITION

public static final int PRECONDITION

See Also:

Constant Field Values

POSTCONDITION

public static final int POSTCONDITION

See Also:

Constant Field Values

ERROR_MESSAGE

static final java.lang.String[] ERROR_MESSAGE

toolbar

protected FactPanel.FactToolBar toolbar

attributePanel

protected AttributeTable attributePanel

aModel

protected AttributeModel aModel

table

protected javax.swing.JTable table

model

protected FactModel model

editor

protected javax.swing.event.ChangeListener editor

clipboard

protected Fact[] clipboard

ontologyDb

protected OntologyDb ontologyDb

Constructor Detail

FactPanel

public FactPanel(OntologyDb ontologyDb,
                 javax.swing.event.ChangeListener editor,
                 Fact[] facts,
                 boolean isVariable,
                 java.lang.String label)

FactPanel

public FactPanel(OntologyDb ontologyDb,
                 javax.swing.event.ChangeListener editor,
                 Fact[] facts,
                 boolean isVariable,
                 int modifierType,
                 java.lang.String label)

FactPanel

public FactPanel(javax.swing.event.ChangeListener editor,
                 java.lang.String label,
                 FactModel model)

FactPanel

public FactPanel(javax.swing.event.ChangeListener editor,
                 int modifierType,
                 java.lang.String label,
                 FactModel model)

Method Detail

errorMsg

protected void errorMsg(int tag)

reset

public void reset(Fact[] facts)

getData

public Fact[] getData()

getFactModel

public FactModel getFactModel()

getAttributeModel

public AttributeModel getAttributeModel()

getAttributeTable

public AttributeTable getAttributeTable()

getSelectedRows

protected Fact[] getSelectedRows()

cutSelectedRows

protected Fact[] cutSelectedRows()

deleteSelectedRow

protected void deleteSelectedRow()

isRowSelected

protected boolean isRowSelected()

setToolBarState

public void setToolBarState(boolean state)

newInstanceEditor

public FactPanel.FactInstanceEditor newInstanceEditor()