edu.stanford.smi.protegex.owl.ui.cls
Class PropertiesClassDefinitionWidget

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.widget.MultiWidgetPropertyWidget
                                  edu.stanford.smi.protegex.owl.ui.cls.AbstractClassDefinitionWidget
                                      edu.stanford.smi.protegex.owl.ui.cls.PropertiesClassDefinitionWidget

All Implemented Interfaces:

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

public class PropertiesClassDefinitionWidget

extends AbstractClassDefinitionWidget

Author:

Holger Knublauch

See Also:

Serialized Form

Nested Class Summary

protected class

AbstractClassDefinitionWidget.MySplitPane

Nested classes inherited from class edu.stanford.smi.protegex.owl.ui.widget.MultiWidgetPropertyWidget

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

protected DisjointClassesWidget	disjointClassesWidget
private PropertyRestrictionsTreeWidget	propertyRestrictionsTreeWidget
private PropertiesSuperclassesWidget	superclassesWidget

Fields inherited from class edu.stanford.smi.protegex.owl.ui.widget.MultiWidgetPropertyWidget

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 java.awt.image.ImageObserver

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

Constructor Summary

PropertiesClassDefinitionWidget()

Method Summary

protected void	createNestedWidgets() Adds the user-defined tabs to the widget.
protected void	initAllPanel(JPanel allPanel, List widgets) Overload this to set layout, add static components, and otherwise modify the appearance of the panel if this is in "all" mode.
void	initialize() Overloaded to forward the nested calls into all nested components.

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

addNestedWidget, createWidgetConfigurationPanel, createWidgetDescriptor, dispose, getEditedResource, getTabbedPane, listWidgets, reinitAllPanel, setAllMode, setAssociatedCls, setBorder, setEditable, setInstance, setSelectedTab, setup, setupSubWidgets

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

getInstance, getOWLModel, getRDFProperty, getSlot, updateBorder

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

addButtonConfiguration, addButtonConfiguration, allowsMultipleValues, areDirectValues, configure, displayButton, displayButton, getAssociatedCls, getButtonDescription, getCls, getClsWidget, getDefaultLabel, getDefaultToolTip, getDoubleClickAction, getFirstItem, getInvalidValueText, getLabel, getMaximumCardinality, getMinimumCardinality, getPreferredSize, getSelectionBorderSize, getValues, handleDoubleClick, isDirectValue, isSlotAtCls, loadValues, localizeStandardLabel, reshape, setAllowed, setCls, setDefaultToolTip, setDoubleClickListener, setInstanceValues, setInvalidValueBorder, setNormalBorder, setPreferredColumns, setPreferredRows, setPreferredSize, setSelectedBorder, setSelectedBorder, setShowInstanceListener, setSlot, 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, 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, setDefaultToolTip

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

Field Detail

propertyRestrictionsTreeWidget

private PropertyRestrictionsTreeWidget propertyRestrictionsTreeWidget

superclassesWidget

private PropertiesSuperclassesWidget superclassesWidget

disjointClassesWidget

protected DisjointClassesWidget disjointClassesWidget

Constructor Detail

PropertiesClassDefinitionWidget

public PropertiesClassDefinitionWidget()

Method Detail

createNestedWidgets

protected void createNestedWidgets()

Description copied from class: MultiWidgetPropertyWidget

Adds the user-defined tabs to the widget. Overload this method and call addNestedWidget(...) for each nested widget. Note that all tab components must be instance of SlotWidget.

Overrides:

createNestedWidgets in class AbstractClassDefinitionWidget

initialize

public void initialize()

Description copied from class: MultiWidgetPropertyWidget

Overloaded to forward the nested calls into all nested components.

Specified by:

initialize in interface edu.stanford.smi.protege.widget.Widget

Overrides:

initialize in class AbstractClassDefinitionWidget

initAllPanel

protected void initAllPanel(JPanel allPanel,
                            List widgets)

Description copied from class: MultiWidgetPropertyWidget

Overload this to set layout, add static components, and otherwise modify the appearance of the panel if this is in "all" mode.

Overrides:

initAllPanel in class MultiWidgetPropertyWidget

Parameters:

allPanel - the Panel that will host all widgets