edu.stanford.smi.protegex.owl.ui.clsproperties
Class PropertyRestrictionsTree

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JTree
                  edu.stanford.smi.protege.util.SelectableTree
                      edu.stanford.smi.protegex.owl.ui.clsproperties.PropertyRestrictionsTree

All Implemented Interfaces:

Accessible, Autoscroll, edu.stanford.smi.protege.util.Disposable, ImageObserver, MenuContainer, Scrollable, edu.stanford.smi.protege.util.Selectable, Serializable

public class PropertyRestrictionsTree

extends edu.stanford.smi.protege.util.SelectableTree

implements edu.stanford.smi.protege.util.Disposable

See Also:

Serialized Form

Nested Class Summary

private class	PropertyRestrictionsTree.CreateRestrictionAction
private class	PropertyRestrictionsTree.MyTreeCellEditor

Nested classes inherited from class javax.swing.JTree

JTree.AccessibleJTree, JTree.DynamicUtilTreeNode, JTree.EmptySelectionModel, JTree.TreeModelHandler, JTree.TreeSelectionRedirector

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 ClassListener	classListener
private OWLNamedClass	cls
private edu.stanford.smi.protege.util.AllowableAction	createRestrictionAction
private Action	deleteRestrictionAction
private DefaultTreeModel	model
private RestrictionTreeNode	newNode
private OWLModel	owlModel
private OWLTextField	owlTextField
private boolean	refilling
private DefaultMutableTreeNode	rootNode
private OWLSymbolPanel	symbolPanel

Fields inherited from class edu.stanford.smi.protege.util.SelectableTree

Fields inherited from class javax.swing.JTree

ANCHOR_SELECTION_PATH_PROPERTY, CELL_EDITOR_PROPERTY, CELL_RENDERER_PROPERTY, cellEditor, cellRenderer, editable, EDITABLE_PROPERTY, EXPANDS_SELECTED_PATHS_PROPERTY, INVOKES_STOP_CELL_EDITING_PROPERTY, invokesStopCellEditing, LARGE_MODEL_PROPERTY, largeModel, LEAD_SELECTION_PATH_PROPERTY, ROOT_VISIBLE_PROPERTY, rootVisible, ROW_HEIGHT_PROPERTY, rowHeight, SCROLLS_ON_EXPAND_PROPERTY, scrollsOnExpand, SELECTION_MODEL_PROPERTY, selectionModel, selectionRedirector, SHOWS_ROOT_HANDLES_PROPERTY, showsRootHandles, TOGGLE_CLICK_COUNT_PROPERTY, toggleClickCount, TREE_MODEL_PROPERTY, treeModel, treeModelListener, VISIBLE_ROW_COUNT_PROPERTY, visibleRowCount

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

PropertyRestrictionsTree(OWLModel owlModel)

PropertyRestrictionsTree(OWLModel owlModel, OWLNamedClass cls)

Method Summary

private void	addChildNodes()
(package private) void	addCreateRestrictionActions(JPopupMenu menu)
private void	addNavigationMenuItems(JPopupMenu menu, Set set)
private void	addNodesForDirectUnionDomainProperty(RDFSNamedClass c, Collection allowedProperties, Set doneProperties, boolean inherited)
private void	addNodesForSubproperties(RDFProperty rdfProperty, Set doneProperties, Collection allowedProperties)
private void	addRestrictionToDefinition(OWLRestriction newRestriction)
private void	createRestrictionFromDialog(edu.stanford.smi.protege.model.Cls restrictionMetaCls)
private void	createRestrictionFromDialog(edu.stanford.smi.protege.model.Cls restrictionMetaCls, RDFProperty property)
private void	createRestrictionInline(edu.stanford.smi.protege.model.Cls metaCls)
void	displaySemanticError(String message)
void	dispose()
private void	disposeNodes()
private void	expandPropertyNodes(Set openProperties)
Action	getCreateRestrictionAction()
Action	getDeleteRestrictionAction()
private Set	getExpandedProperties()
private OWLNamedClass	getHostCls(OWLRestriction restriction)
private List	getNextSuperclasses(RDFSNamedClass c, Set reachedClses)
private JLayeredPane	getParentLayeredPane()
JPopupMenu	getPopupMenu()
private PropertyTreeNode	getPropertyTreeNode(RDFProperty property)
PropertyTreeNode[]	getPropertyTreeNodes()
edu.stanford.smi.protege.model.Instance	getSelectedInstance()
Collection	getSelectedInstances()
private DefaultMutableTreeNode	getSelectedTreeNode()
Collection	getSelection()
void	hideSymbolPanel()
void	init(boolean displayRestrictions, boolean hideGlobalCharacteristics)
boolean	isEditable()
boolean	isMixedClass()
protected void	navigateTo(RDFResource instance)
void	openNodesIfPossible() Opens the restriction nodes if there is enough space in the visible area.
(package private) void	refill()
(package private) void	refillLater()
private void	removeListeners()
void	setCls(OWLNamedClass cls)
void	setSelectedRestriction(OWLRestriction restriction)
private void	showSymbolPanel(RDFProperty property, edu.stanford.smi.protege.model.Cls restrictionMetaCls, boolean errorFlag)
private void	sortPropertyTreeNodes()
private void	startEditing(MouseEvent e)
void	startEditingAtPath(TreePath path)
private void	updateCreateRestrictionActionAllowed()
private void	updateEditable()
private void	viewSelectedProperty()

Methods inherited from class edu.stanford.smi.protege.util.SelectableTree

addSelectionListener, autoscroll, getAutoscrollInsets, notifySelectionListeners, processFocusEvent, removeSelectionListener, setRoot, toString

Methods inherited from class javax.swing.JTree

addSelectionInterval, addSelectionPath, addSelectionPaths, addSelectionRow, addSelectionRows, addTreeExpansionListener, addTreeSelectionListener, addTreeWillExpandListener, cancelEditing, clearSelection, clearToggledPaths, collapsePath, collapseRow, convertValueToText, createTreeModel, createTreeModelListener, expandPath, expandRow, fireTreeCollapsed, fireTreeExpanded, fireTreeWillCollapse, fireTreeWillExpand, fireValueChanged, getAccessibleContext, getAnchorSelectionPath, getCellEditor, getCellRenderer, getClosestPathForLocation, getClosestRowForLocation, getDefaultTreeModel, getDescendantToggledPaths, getDragEnabled, getEditingPath, getExpandedDescendants, getExpandsSelectedPaths, getInvokesStopCellEditing, getLastSelectedPathComponent, getLeadSelectionPath, getLeadSelectionRow, getMaxSelectionRow, getMinSelectionRow, getModel, getNextMatch, getPathBetweenRows, getPathBounds, getPathForLocation, getPathForRow, getPreferredScrollableViewportSize, getRowBounds, getRowCount, getRowForLocation, getRowForPath, getRowHeight, getScrollableBlockIncrement, getScrollableTracksViewportHeight, getScrollableTracksViewportWidth, getScrollableUnitIncrement, getScrollsOnExpand, getSelectionCount, getSelectionModel, getSelectionPath, getSelectionPaths, getSelectionRows, getShowsRootHandles, getToggleClickCount, getToolTipText, getTreeExpansionListeners, getTreeSelectionListeners, getTreeWillExpandListeners, getUI, getUIClassID, getVisibleRowCount, hasBeenExpanded, isCollapsed, isCollapsed, isEditing, isExpanded, isExpanded, isFixedRowHeight, isLargeModel, isPathEditable, isPathSelected, isRootVisible, isRowSelected, isSelectionEmpty, isVisible, makeVisible, paramString, removeDescendantSelectedPaths, removeDescendantToggledPaths, removeSelectionInterval, removeSelectionPath, removeSelectionPaths, removeSelectionRow, removeSelectionRows, removeTreeExpansionListener, removeTreeSelectionListener, removeTreeWillExpandListener, scrollPathToVisible, scrollRowToVisible, setAnchorSelectionPath, setCellEditor, setCellRenderer, setDragEnabled, setEditable, setExpandedState, setExpandsSelectedPaths, setInvokesStopCellEditing, setLargeModel, setLeadSelectionPath, setModel, setRootVisible, setRowHeight, setScrollsOnExpand, setSelectionInterval, setSelectionModel, setSelectionPath, setSelectionPaths, setSelectionRow, setSelectionRows, setShowsRootHandles, setToggleClickCount, setUI, setVisibleRowCount, stopEditing, treeDidChange, 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, 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, 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, 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.util.Selectable

clearSelection

Field Detail

cls

private OWLNamedClass cls

classListener

private ClassListener classListener

createRestrictionAction

private edu.stanford.smi.protege.util.AllowableAction createRestrictionAction

deleteRestrictionAction

private Action deleteRestrictionAction

model

private DefaultTreeModel model

newNode

private RestrictionTreeNode newNode

owlModel

private OWLModel owlModel

owlTextField

private OWLTextField owlTextField

rootNode

private DefaultMutableTreeNode rootNode

symbolPanel

private OWLSymbolPanel symbolPanel

refilling

private boolean refilling

Constructor Detail

PropertyRestrictionsTree

public PropertyRestrictionsTree(OWLModel owlModel)

PropertyRestrictionsTree

public PropertyRestrictionsTree(OWLModel owlModel,
                                OWLNamedClass cls)

Method Detail

addChildNodes

private void addChildNodes()

addCreateRestrictionActions

void addCreateRestrictionActions(JPopupMenu menu)

addNavigationMenuItems

private void addNavigationMenuItems(JPopupMenu menu,
                                    Set set)

addNodesForDirectUnionDomainProperty

private void addNodesForDirectUnionDomainProperty(RDFSNamedClass c,
                                                  Collection allowedProperties,
                                                  Set doneProperties,
                                                  boolean inherited)

addNodesForSubproperties

private void addNodesForSubproperties(RDFProperty rdfProperty,
                                      Set doneProperties,
                                      Collection allowedProperties)

addRestrictionToDefinition

private void addRestrictionToDefinition(OWLRestriction newRestriction)

createRestrictionInline

private void createRestrictionInline(edu.stanford.smi.protege.model.Cls metaCls)

createRestrictionFromDialog

private void createRestrictionFromDialog(edu.stanford.smi.protege.model.Cls restrictionMetaCls)

createRestrictionFromDialog

private void createRestrictionFromDialog(edu.stanford.smi.protege.model.Cls restrictionMetaCls,
                                         RDFProperty property)

displaySemanticError

public void displaySemanticError(String message)

dispose

public void dispose()

Specified by:

dispose in interface edu.stanford.smi.protege.util.Disposable

disposeNodes

private void disposeNodes()

expandPropertyNodes

private void expandPropertyNodes(Set openProperties)

getCreateRestrictionAction

public Action getCreateRestrictionAction()

getDeleteRestrictionAction

public Action getDeleteRestrictionAction()

getExpandedProperties

private Set getExpandedProperties()

getHostCls

private OWLNamedClass getHostCls(OWLRestriction restriction)

getNextSuperclasses

private List getNextSuperclasses(RDFSNamedClass c,
                                 Set reachedClses)

getParentLayeredPane

private JLayeredPane getParentLayeredPane()

getPopupMenu

public JPopupMenu getPopupMenu()

getPropertyTreeNode

private PropertyTreeNode getPropertyTreeNode(RDFProperty property)

getPropertyTreeNodes

public PropertyTreeNode[] getPropertyTreeNodes()

getSelectedInstance

public edu.stanford.smi.protege.model.Instance getSelectedInstance()

getSelectedInstances

public Collection getSelectedInstances()

getSelectedTreeNode

private DefaultMutableTreeNode getSelectedTreeNode()

getSelection

public Collection getSelection()

Specified by:

getSelection in interface edu.stanford.smi.protege.util.Selectable

hideSymbolPanel

public void hideSymbolPanel()

init

public void init(boolean displayRestrictions,
                 boolean hideGlobalCharacteristics)

isEditable

public boolean isEditable()

isMixedClass

public boolean isMixedClass()

navigateTo

protected void navigateTo(RDFResource instance)

openNodesIfPossible

public void openNodesIfPossible()

Opens the restriction nodes if there is enough space in the visible area.

refill

void refill()

refillLater

void refillLater()

removeListeners

private void removeListeners()

setCls

public void setCls(OWLNamedClass cls)

setSelectedRestriction

public void setSelectedRestriction(OWLRestriction restriction)

showSymbolPanel

private void showSymbolPanel(RDFProperty property,
                             edu.stanford.smi.protege.model.Cls restrictionMetaCls,
                             boolean errorFlag)

sortPropertyTreeNodes

private void sortPropertyTreeNodes()

startEditing

private void startEditing(MouseEvent e)

startEditingAtPath

public void startEditingAtPath(TreePath path)

updateCreateRestrictionActionAllowed

private void updateCreateRestrictionActionAllowed()

updateEditable

private void updateEditable()

viewSelectedProperty

private void viewSelectedProperty()