edu.stanford.smi.protegex.owl.ui.conditions
Class AssertedConditionsWidget

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.stanford.smi.protege.widget.AbstractWidget
                      edu.stanford.smi.protege.widget.AbstractSlotWidget
                          edu.stanford.smi.protegex.owl.ui.widget.AbstractPropertyWidget
                              edu.stanford.smi.protegex.owl.ui.conditions.AbstractConditionsWidget
                                  edu.stanford.smi.protegex.owl.ui.conditions.AssertedConditionsWidget

All Implemented Interfaces:

Accessible, ConditionsTableConstants, edu.stanford.smi.protege.util.Disposable, ImageObserver, MenuContainer, edu.stanford.smi.protege.plugin.Plugin, PropertyConditionsDisplay, PropertyWidget, edu.stanford.smi.protege.util.Selectable, Serializable, edu.stanford.smi.protege.widget.SlotWidget, edu.stanford.smi.protege.widget.Widget

public class AssertedConditionsWidget

extends AbstractConditionsWidget

An AbstractConditionWidget to display and edit the asserted conditions of a class.

Author:

Holger Knublauch

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class edu.stanford.smi.protege.widget.AbstractSlotWidget

Nested classes inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

private AddNamedClassAction	addNamedClassAction
private Action	createExpressionAction
private Action	createRestrictionAction
private DeleteRowAction	deleteAction
private OWLTableAction	deriveRestrictionAction
private OWLTableAction	negateAnonymousClsAction

Fields inherited from class edu.stanford.smi.protegex.owl.ui.conditions.AbstractConditionsWidget

table, tableModel

Fields inherited from class edu.stanford.smi.protege.widget.AbstractSlotWidget

Fields inherited from class edu.stanford.smi.protege.widget.AbstractWidget

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 edu.stanford.smi.protegex.owl.ui.conditions.ConditionsTableConstants

COL_COUNT, COL_EXPRESSION, TYPE_DEFINITION_BASE, TYPE_INHERITED, TYPE_SUPERCLASS

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

AssertedConditionsWidget()

Method Summary

private void	createRestriction()
private void	deriveRestriction()
void	initialize()
protected void	initializeButtons(edu.stanford.smi.protege.util.LabeledComponent labeledComponent)
static boolean	isSuitable(edu.stanford.smi.protege.model.Cls cls, edu.stanford.smi.protege.model.Slot slot, edu.stanford.smi.protege.model.Facet facet)
private void	negateAnonymousClass()
void	setInstance(edu.stanford.smi.protege.model.Instance newInstance)
private void	updateCreateActions()

Methods inherited from class edu.stanford.smi.protegex.owl.ui.conditions.AbstractConditionsWidget

displayRowsWithProperty, getClsesTab, getEditedCls, getTable, initialize, refresh

Methods inherited from class edu.stanford.smi.protegex.owl.ui.widget.AbstractPropertyWidget

getEditedResource, getInstance, getOWLModel, getRDFProperty, getSlot, updateBorder

Methods inherited from class edu.stanford.smi.protege.widget.AbstractSlotWidget

addButtonConfiguration, addButtonConfiguration, allowsMultipleValues, areDirectValues, configure, createWidgetConfigurationPanel, displayButton, displayButton, dispose, getAssociatedCls, getButtonDescription, getCls, getClsWidget, getDefaultLabel, getDefaultToolTip, getDoubleClickAction, getFirstItem, getInvalidValueText, getLabel, getMaximumCardinality, getMinimumCardinality, getPreferredSize, getSelectionBorderSize, getValues, handleDoubleClick, isDirectValue, isSlotAtCls, loadValues, localizeStandardLabel, reshape, setAllowed, setAssociatedCls, setCls, setDefaultToolTip, setDoubleClickListener, setEditable, setInstanceValues, setInvalidValueBorder, setNormalBorder, setPreferredColumns, setPreferredRows, setPreferredSize, setSelectedBorder, setSelectedBorder, setShowInstanceListener, setSlot, setup, setValues, setWidgetValues, showInstance, valueChanged

Methods inherited from class edu.stanford.smi.protege.widget.AbstractWidget

addSelectionListener, beginTransaction, clearSelection, endTransaction, equals, getDescriptor, getKnowledgeBase, getProject, getPropertyList, getSelection, getStringProperty, isDesignTime, isRuntime, notifySelectionListeners, paint, removeSelectionListener, setLabel, setPropertyList, setup, show

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, 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, 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, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, 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

Methods inherited from interface edu.stanford.smi.protege.widget.SlotWidget

getAssociatedCls, getCls, getDefaultToolTip, setAssociatedCls, setDefaultToolTip, setup

Methods inherited from interface edu.stanford.smi.protege.widget.Widget

configure, getDescriptor, getKnowledgeBase, getLabel, getProject, setLabel

Methods inherited from interface edu.stanford.smi.protege.util.Selectable

addSelectionListener, clearSelection, getSelection, notifySelectionListeners, removeSelectionListener

Methods inherited from interface edu.stanford.smi.protege.plugin.Plugin

getName

Methods inherited from interface edu.stanford.smi.protege.util.Disposable

dispose

Field Detail

addNamedClassAction

private AddNamedClassAction addNamedClassAction

createExpressionAction

private Action createExpressionAction

createRestrictionAction

private Action createRestrictionAction

deleteAction

private DeleteRowAction deleteAction

deriveRestrictionAction

private OWLTableAction deriveRestrictionAction

negateAnonymousClsAction

private OWLTableAction negateAnonymousClsAction

Constructor Detail

AssertedConditionsWidget

public AssertedConditionsWidget()

Method Detail

createRestriction

private void createRestriction()

deriveRestriction

private void deriveRestriction()

initialize

public void initialize()

initializeButtons

protected void initializeButtons(edu.stanford.smi.protege.util.LabeledComponent labeledComponent)

Overrides:

initializeButtons in class AbstractConditionsWidget

isSuitable

public static boolean isSuitable(edu.stanford.smi.protege.model.Cls cls,
                                 edu.stanford.smi.protege.model.Slot slot,
                                 edu.stanford.smi.protege.model.Facet facet)

negateAnonymousClass

private void negateAnonymousClass()

setInstance

public void setInstance(edu.stanford.smi.protege.model.Instance newInstance)

Specified by:

setInstance in interface edu.stanford.smi.protege.widget.SlotWidget

Overrides:

setInstance in class AbstractConditionsWidget

updateCreateActions

private void updateCreateActions()