Package org.liveontologies.protege.explanation.justification

Class PresentationPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.liveontologies.protege.explanation.justification.PresentationPanel

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, AxiomSelectionModel, JustificationManager.ChangeListener, PartialListVisualizer, org.protege.editor.core.Disposable

public class PresentationPanel
extends JPanel
implements org.protege.editor.core.Disposable, AxiomSelectionModel, JustificationManager.ChangeListener, PartialListVisualizer

Author: Matthew Horridge The University Of Manchester Information Management Group Date: 04-Oct-2008 The component that displays a set of justification

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

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.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields inherited from class javax.swing.JComponent

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

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

Constructors

Constructor	Description
PresentationPanel(JustificationComputationServiceManager serviceManager, org.semanticweb.owlapi.model.OWLAxiom entailment)

Method Summary

Modifier and Type	Method	Description
void	addAxiomSelectionListener(AxiomSelectionListener lsnr)
void	clearSelection()
void	dispose()
String	getComputedJustificationsDescription()
int	getDisplayedJustificationCount()
Dimension	getMinimumSize()
Dimension	getPreferredSize()
Set<org.semanticweb.owlapi.model.OWLAxiom>	getSelectedAxioms()
String	getShowMoreJustificationsDescription()
void	justificationsRecomputed()	fired when the justifications supported by a JustificationManager have been recomputed
void	removeAxiomSelectionListener(AxiomSelectionListener lsnr)
void	reset()	Asks visualizer to reset displaying state
void	setAxiomSelected(org.semanticweb.owlapi.model.OWLAxiom axiom, boolean b)
void	settingsPanelChanged()	fired when JustificationManager.getSettingsPanel() may return a different value
void	showNext()	Asks visualizer to display next elements
void	showNext(int number)	Asks visualizer to display next elements

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, 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, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, 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, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

PresentationPanel

public PresentationPanel(JustificationComputationServiceManager serviceManager,
 org.semanticweb.owlapi.model.OWLAxiom entailment)

Method Details

getShowMoreJustificationsDescription

public String getShowMoreJustificationsDescription()

Specified by:

getShowMoreJustificationsDescription in interface PartialListVisualizer

Returns:

an information for user about how much elements will be displayed additionally

getDisplayedJustificationCount

public int getDisplayedJustificationCount()

Specified by:

getDisplayedJustificationCount in interface PartialListVisualizer

Returns:

number of elements displaying currently

getComputedJustificationsDescription

public String getComputedJustificationsDescription()

getMinimumSize

public Dimension getMinimumSize()

Overrides:

getMinimumSize in class JComponent

dispose

public void dispose()

Specified by:

dispose in interface org.protege.editor.core.Disposable

addAxiomSelectionListener

public void addAxiomSelectionListener(AxiomSelectionListener lsnr)

Specified by:

addAxiomSelectionListener in interface AxiomSelectionModel

removeAxiomSelectionListener

public void removeAxiomSelectionListener(AxiomSelectionListener lsnr)

Specified by:

removeAxiomSelectionListener in interface AxiomSelectionModel

setAxiomSelected

public void setAxiomSelected(org.semanticweb.owlapi.model.OWLAxiom axiom,
 boolean b)

Specified by:

setAxiomSelected in interface AxiomSelectionModel

getSelectedAxioms

public Set<org.semanticweb.owlapi.model.OWLAxiom> getSelectedAxioms()

Specified by:

getSelectedAxioms in interface AxiomSelectionModel

clearSelection

public void clearSelection()

Specified by:

clearSelection in interface AxiomSelectionModel

getPreferredSize

public Dimension getPreferredSize()

Overrides:

getPreferredSize in class JComponent

showNext

public void showNext(int number)

Description copied from interface: PartialListVisualizer

Asks visualizer to display next elements

Specified by:

showNext in interface PartialListVisualizer

Parameters:

number - how much elements should be displayed additionally

showNext

public void showNext()

Description copied from interface: PartialListVisualizer

Asks visualizer to display next elements

Specified by:

showNext in interface PartialListVisualizer

reset

public void reset()

Description copied from interface: PartialListVisualizer

Asks visualizer to reset displaying state

Specified by:

reset in interface PartialListVisualizer

justificationsRecomputed

public void justificationsRecomputed()

Description copied from interface: JustificationManager.ChangeListener

fired when the justifications supported by a JustificationManager have been recomputed

Specified by:

justificationsRecomputed in interface JustificationManager.ChangeListener

settingsPanelChanged

public void settingsPanelChanged()

Description copied from interface: JustificationManager.ChangeListener

fired when JustificationManager.getSettingsPanel() may return a different value

Specified by:

settingsPanelChanged in interface JustificationManager.ChangeListener