edu.stanford.smi.protegex.owl.ui.individuals
Class OWLIndividualsTab

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.AbstractTabWidget
                          edu.stanford.smi.protegex.owl.ui.widget.AbstractTabWidget
                              edu.stanford.smi.protegex.owl.ui.individuals.OWLIndividualsTab

All Implemented Interfaces:

Accessible, edu.stanford.smi.protege.util.Disposable, HostResourceDisplay, ImageObserver, MenuContainer, NavigationHistoryTabWidget, edu.stanford.smi.protege.plugin.Plugin, edu.stanford.smi.protege.util.Selectable, Serializable, edu.stanford.smi.protege.widget.TabWidget, edu.stanford.smi.protege.widget.Widget

public class OWLIndividualsTab

extends AbstractTabWidget

implements NavigationHistoryTabWidget

A tab used to acquire individuals.

Author:

Holger Knublauch

See Also:

Serialized Form

Nested Class Summary

private class

OWLIndividualsTab.InferredInstancesCountRenderer

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 AssertedInstancesListPanel	assertedInstancesListPanel
private IndividualsTabClassesPanel	classesPanel
private InferredInstancesListPanel	inferredInstancesListPanel
private ResourcePanel	resourcePanel
private AssertedTypesListPanel	typesListPanel

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

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

OWLIndividualsTab()

Method Summary

private void	adjustInstancesDisplayPanel()
protected AssertedInstancesListPanel	createAssertedInstancesListPanel()
private IndividualsTabClassesPanel	createClassesPanel()
private JComponent	createClassSplitter()
protected JComponent	createDirectTypesList()
protected InferredInstancesListPanel	createInferredInstancesListPanel()
private JComponent	createInstancesPanel()
private JComponent	createInstanceSplitter()
boolean	displayHostResource(RDFResource resource) Called by actions such as the view action in the FindUsagePanel or the OWLTestResultsPanel.
edu.stanford.smi.protege.util.Selectable	getNestedSelectable()
void	initialize()
static boolean	isSuitable(edu.stanford.smi.protege.model.Project p, Collection errors)
void	setSelectedClass(RDFSNamedClass cls)
void	setSelectedCls(edu.stanford.smi.protege.model.Cls cls) Deprecated.
void	setSelectedInstance(edu.stanford.smi.protege.model.Instance instance) Deprecated.
void	setSelectedResource(RDFResource instance)
private void	setupDragAndDrop()
protected void	transmitSelection()
protected void	transmitSelection(Collection selection)

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

getKnowledgeBase, getOWLModel

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

addMainWindowToolBarButton, addUserToolBar, canClose, canSave, close, configure, createLeftRightSplitPane, createTopBottomSplitPane, getClsTree, getIcon, getLabel, getMainWindowMenuBar, getMainWindowToolBar, getSelectedInstances, getSelection, getShortDescription, getUserToolBar, removeMainWindowToolBarButton, removeUserToolBar, save, setClsTree, setIcon, setInstanceSelectable, setLabel, setShortDescription, setup, synchronizeClsTree, synchronizeToInstances

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

addSelectionListener, beginTransaction, clearSelection, dispose, endTransaction, equals, getDescriptor, getProject, getPropertyList, getStringProperty, isDesignTime, isRuntime, notifySelectionListeners, paint, removeSelectionListener, setPropertyList, setup, show, showInstance

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, 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

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

getDescriptor, getProject

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

addSelectionListener, clearSelection, 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

assertedInstancesListPanel

private AssertedInstancesListPanel assertedInstancesListPanel

classesPanel

private IndividualsTabClassesPanel classesPanel

inferredInstancesListPanel

private InferredInstancesListPanel inferredInstancesListPanel

resourcePanel

private ResourcePanel resourcePanel

typesListPanel

private AssertedTypesListPanel typesListPanel

Constructor Detail

OWLIndividualsTab

public OWLIndividualsTab()

Method Detail

adjustInstancesDisplayPanel

private void adjustInstancesDisplayPanel()

createAssertedInstancesListPanel

protected AssertedInstancesListPanel createAssertedInstancesListPanel()

createInferredInstancesListPanel

protected InferredInstancesListPanel createInferredInstancesListPanel()

createClassesPanel

private IndividualsTabClassesPanel createClassesPanel()

createClassSplitter

private JComponent createClassSplitter()

createDirectTypesList

protected JComponent createDirectTypesList()

createInstancesPanel

private JComponent createInstancesPanel()

createInstanceSplitter

private JComponent createInstanceSplitter()

displayHostResource

public boolean displayHostResource(RDFResource resource)

Description copied from interface: HostResourceDisplay

Called by actions such as the view action in the FindUsagePanel or the OWLTestResultsPanel. This can be implemented for special handling of this action - otherwise the system will pop up a new window showing the selected RDFResource.

Specified by:

displayHostResource in interface HostResourceDisplay

Parameters:

resource - the resource to display

Returns:

true if the navigation was handled, false for default behavior

getNestedSelectable

public edu.stanford.smi.protege.util.Selectable getNestedSelectable()

Specified by:

getNestedSelectable in interface NavigationHistoryTabWidget

initialize

public void initialize()

Specified by:

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

isSuitable

public static boolean isSuitable(edu.stanford.smi.protege.model.Project p,
                                 Collection errors)

transmitSelection

protected void transmitSelection(Collection selection)

setSelectedCls

public void setSelectedCls(edu.stanford.smi.protege.model.Cls cls)

Deprecated.

setSelectedClass

public void setSelectedClass(RDFSNamedClass cls)

setSelectedInstance

public void setSelectedInstance(edu.stanford.smi.protege.model.Instance instance)

Deprecated.

setSelectedResource

public void setSelectedResource(RDFResource instance)

setupDragAndDrop

private void setupDragAndDrop()

transmitSelection

protected void transmitSelection()