|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.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
public class PropertyRestrictionsTree
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.JTree |
---|
JTree.AccessibleJTree, JTree.DynamicUtilTreeNode, JTree.EmptySelectionModel, JTree.TreeModelHandler, JTree.TreeSelectionRedirector |
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy |
Field Summary |
---|
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.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 | |
---|---|
void |
displaySemanticError(String message)
|
void |
dispose()
|
Action |
getCreateRestrictionAction()
|
Action |
getDeleteRestrictionAction()
|
JPopupMenu |
getPopupMenu()
|
PropertyTreeNode[] |
getPropertyTreeNodes()
|
edu.stanford.smi.protege.model.Instance |
getSelectedInstance()
|
Collection |
getSelectedInstances()
|
Collection |
getSelection()
|
String |
getToolTipText(MouseEvent event)
|
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. |
void |
setCls(OWLNamedClass cls)
|
void |
setSelectedRestriction(OWLRestriction restriction)
|
void |
startEditingAtPath(TreePath path)
|
Methods inherited from class edu.stanford.smi.protege.util.SelectableTree |
---|
addSelectionListener, autoscroll, getAutoscrollInsets, notifySelectionListeners, processFocusEvent, removeSelectionListener, setRoot, toString |
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 |
Constructor Detail |
---|
public PropertyRestrictionsTree(OWLModel owlModel)
public PropertyRestrictionsTree(OWLModel owlModel, OWLNamedClass cls)
Method Detail |
---|
public String getToolTipText(MouseEvent event)
getToolTipText
in class JTree
public void displaySemanticError(String message)
public void dispose()
dispose
in interface edu.stanford.smi.protege.util.Disposable
dispose
in class edu.stanford.smi.protege.util.SelectableTree
public Action getCreateRestrictionAction()
public Action getDeleteRestrictionAction()
public JPopupMenu getPopupMenu()
getPopupMenu
in class edu.stanford.smi.protege.util.SelectableTree
public PropertyTreeNode[] getPropertyTreeNodes()
public edu.stanford.smi.protege.model.Instance getSelectedInstance()
public Collection getSelectedInstances()
public Collection getSelection()
getSelection
in interface edu.stanford.smi.protege.util.Selectable
getSelection
in class edu.stanford.smi.protege.util.SelectableTree
public void hideSymbolPanel()
public void init(boolean displayRestrictions, boolean hideGlobalCharacteristics)
public boolean isEditable()
isEditable
in class JTree
public boolean isMixedClass()
protected void navigateTo(RDFResource instance)
public void openNodesIfPossible()
public void setCls(OWLNamedClass cls)
public void setSelectedRestriction(OWLRestriction restriction)
public void startEditingAtPath(TreePath path)
startEditingAtPath
in class JTree
|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |