edu.stanford.smi.protegex.owl.ui.testing
Class OWLTestResultsPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.stanford.smi.protegex.owl.ui.results.ResultsPanel
                      edu.stanford.smi.protegex.owl.ui.testing.OWLTestResultsPanel

All Implemented Interfaces:

Accessible, edu.stanford.smi.protege.util.Disposable, ImageObserver, MenuContainer, OWLTestResultsTableModelColumns, Serializable

Direct Known Subclasses:

ReasonerWarningPanel

public class OWLTestResultsPanel

extends ResultsPanel

implements OWLTestResultsTableModelColumns

A JPanel to display the results of a "Find usage" search. This mainly consists of a JTable with a FindUsageTableModel and a view button.

Author:

Holger Knublauch

See Also:

Serialized Form

Nested Class Summary

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

static int	COL_COUNT
static int	COL_MESSAGE
static int	COL_SOURCE
static int	COL_TYPE
private JFileChooser	fileChooser
static MouseListener	mouseListener
private OWLModel	owlModel
private Action	repairAction
private Action	saveAction
private Action	settingsAction
private JTable	table
private OWLTestResultsTableModel	tableModel
private edu.stanford.smi.protege.model.Instance	testSource
private Action	viewAction

Fields inherited from class edu.stanford.smi.protegex.owl.ui.results.ResultsPanel

toolBar

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

OWLTestResultsPanel(OWLModel owlModel, Collection items, edu.stanford.smi.protege.model.Instance testSource, boolean withButtons)

Method Summary

void	dispose() Called when this is closed by the user.
private void	enableActions()
protected String[]	getDisplayTabClassNames(RDFResource instance) Gets a list of tabs that could be used to display a given instance.
Icon	getIcon()
protected JTable	getTable()
protected OWLTestResultsTableModel	getTableModel()
String	getTabName()
private void	repairSelectedTestResult()
private void	save()
void	setResults(List results)
private void	viewSelectedHostInstance()

Methods inherited from class edu.stanford.smi.protegex.owl.ui.results.ResultsPanel

addButton, addSeparator, close, getOWLModel, isReplaceableBy, setCenterComponent, showHostInstance, showHostResource, showTriple

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

Field Detail

fileChooser

private JFileChooser fileChooser

owlModel

private OWLModel owlModel

tableModel

private OWLTestResultsTableModel tableModel

table

private JTable table

testSource

private edu.stanford.smi.protege.model.Instance testSource

repairAction

private Action repairAction

saveAction

private Action saveAction

settingsAction

private Action settingsAction

viewAction

private Action viewAction

mouseListener

public static MouseListener mouseListener

COL_TYPE

public static final int COL_TYPE

See Also:

Constant Field Values

COL_SOURCE

public static final int COL_SOURCE

See Also:

Constant Field Values

COL_MESSAGE

public static final int COL_MESSAGE

See Also:

Constant Field Values

COL_COUNT

public static final int COL_COUNT

See Also:

Constant Field Values

Constructor Detail

OWLTestResultsPanel

public OWLTestResultsPanel(OWLModel owlModel,
                           Collection items,
                           edu.stanford.smi.protege.model.Instance testSource,
                           boolean withButtons)

Method Detail

dispose

public void dispose()

Description copied from class: ResultsPanel

Called when this is closed by the user. Can be overloaded to do clean-up etc.

Specified by:

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

Overrides:

dispose in class ResultsPanel

enableActions

private void enableActions()

getDisplayTabClassNames

protected String[] getDisplayTabClassNames(RDFResource instance)

Gets a list of tabs that could be used to display a given instance. This list is used to switch to the most suitable tab when the user has clicked on an entry. The tab should implement HostResourceDisplay so that the chosen instance can be highlighted/selected there as well.

Returns:

a (possibly empty) list of tab class names

getIcon

public Icon getIcon()

Overrides:

getIcon in class ResultsPanel

getTabName

public String getTabName()

Specified by:

getTabName in class ResultsPanel

getTableModel

protected OWLTestResultsTableModel getTableModel()

getTable

protected JTable getTable()

repairSelectedTestResult

private void repairSelectedTestResult()

save

private void save()

setResults

public void setResults(List results)

viewSelectedHostInstance

private void viewSelectedHostInstance()