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:
-
Nested Class Summary
Nested classes/interfaces inherited from class javax.swing.JPanel
JPanel.AccessibleJPanelNested classes/interfaces inherited from class javax.swing.JComponent
JComponent.AccessibleJComponentNested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainerNested 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_WINDOWFields inherited from class java.awt.Component
accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENTFields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH -
Constructor Summary
ConstructorsConstructorDescriptionPresentationPanel(JustificationComputationServiceManager serviceManager, org.semanticweb.owlapi.model.OWLAxiom entailment) -
Method Summary
Modifier and TypeMethodDescriptionvoidvoidvoiddispose()intSet<org.semanticweb.owlapi.model.OWLAxiom> voidfired when the justifications supported by aJustificationManagerhave been recomputedvoidvoidreset()Asks visualizer to reset displaying statevoidsetAxiomSelected(org.semanticweb.owlapi.model.OWLAxiom axiom, boolean b) voidfired whenJustificationManager.getSettingsPanel()may return a different valuevoidshowNext()Asks visualizer to display next elementsvoidshowNext(int number) Asks visualizer to display next elementsMethods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUIMethods 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, updateMethods 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, validateTreeMethods 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
-
Constructor Details
-
PresentationPanel
public PresentationPanel(JustificationComputationServiceManager serviceManager, org.semanticweb.owlapi.model.OWLAxiom entailment)
-
-
Method Details
-
getShowMoreJustificationsDescription
- Specified by:
getShowMoreJustificationsDescriptionin interfacePartialListVisualizer- Returns:
- an information for user about how much elements will be displayed additionally
-
getDisplayedJustificationCount
public int getDisplayedJustificationCount()- Specified by:
getDisplayedJustificationCountin interfacePartialListVisualizer- Returns:
- number of elements displaying currently
-
getComputedJustificationsDescription
-
getMinimumSize
- Overrides:
getMinimumSizein classJComponent
-
dispose
public void dispose()- Specified by:
disposein interfaceorg.protege.editor.core.Disposable
-
addAxiomSelectionListener
- Specified by:
addAxiomSelectionListenerin interfaceAxiomSelectionModel
-
removeAxiomSelectionListener
- Specified by:
removeAxiomSelectionListenerin interfaceAxiomSelectionModel
-
setAxiomSelected
public void setAxiomSelected(org.semanticweb.owlapi.model.OWLAxiom axiom, boolean b) - Specified by:
setAxiomSelectedin interfaceAxiomSelectionModel
-
getSelectedAxioms
- Specified by:
getSelectedAxiomsin interfaceAxiomSelectionModel
-
clearSelection
public void clearSelection()- Specified by:
clearSelectionin interfaceAxiomSelectionModel
-
getPreferredSize
- Overrides:
getPreferredSizein classJComponent
-
showNext
public void showNext(int number) Description copied from interface:PartialListVisualizerAsks visualizer to display next elements- Specified by:
showNextin interfacePartialListVisualizer- Parameters:
number- how much elements should be displayed additionally
-
showNext
public void showNext()Description copied from interface:PartialListVisualizerAsks visualizer to display next elements- Specified by:
showNextin interfacePartialListVisualizer
-
reset
public void reset()Description copied from interface:PartialListVisualizerAsks visualizer to reset displaying state- Specified by:
resetin interfacePartialListVisualizer
-
justificationsRecomputed
public void justificationsRecomputed()Description copied from interface:JustificationManager.ChangeListenerfired when the justifications supported by aJustificationManagerhave been recomputed- Specified by:
justificationsRecomputedin interfaceJustificationManager.ChangeListener
-
settingsPanelChanged
public void settingsPanelChanged()Description copied from interface:JustificationManager.ChangeListenerfired whenJustificationManager.getSettingsPanel()may return a different value- Specified by:
settingsPanelChangedin interfaceJustificationManager.ChangeListener
-