Package org.liveontologies.protege.explanation.justification

Class JustificationFrameList

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JList

org.protege.editor.core.ui.list.MList

org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>

org.liveontologies.protege.explanation.justification.JustificationFrameList

All Implemented Interfaces:

DropTargetListener, ImageObserver, MenuContainer, Serializable, EventListener, Accessible, Scrollable, AxiomSelectionListener, org.protege.editor.core.Disposable, org.protege.editor.core.ui.RefreshableComponent, org.protege.editor.owl.ui.action.ActionTarget, org.protege.editor.owl.ui.renderer.LinkedObjectComponent, org.protege.editor.owl.ui.view.Copyable, org.protege.editor.owl.ui.view.Cuttable, org.protege.editor.owl.ui.view.Deleteable, org.protege.editor.owl.ui.view.Pasteable

public class JustificationFrameList
extends org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>
implements AxiomSelectionListener, org.protege.editor.core.Disposable

Author: Matthew Horridge Stanford University Bio-Medical Informatics Research Group Date: 19/03/2012

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.protege.editor.owl.ui.framelist.OWLFrameList

org.protege.editor.owl.ui.framelist.OWLFrameList.OWLFrameListUI

Nested classes/interfaces inherited from class org.protege.editor.core.ui.list.MList

org.protege.editor.core.ui.list.MList.MListCellRenderer

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

JList.AccessibleJList, JList.DropLocation

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 org.protege.editor.owl.ui.framelist.OWLFrameList

BUTTON_DIMENSION, BUTTON_MARGIN, INFERRED_BG_COLOR

Fields inherited from class org.protege.editor.core.ui.list.MList

lastMousePositionCellIndex

Fields inherited from class javax.swing.JList

HORIZONTAL_WRAP, VERTICAL, VERTICAL_WRAP

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
JustificationFrameList(AxiomSelectionModel axiomSelectionModel, JustificationManager manager, PartialListVisualizer justificationPanel, Explanation explanation)

Method Summary

Modifier and Type	Method	Description
void	addJustification(PrioritizedJustification justification, int justificationNo)
void	addToPopupMenu(org.protege.editor.owl.ui.framelist.OWLFrameListPopupMenuAction<Explanation> justificationOWLFrameListPopupMenuAction)
void	axiomAdded(AxiomSelectionModel source, org.semanticweb.owlapi.model.OWLAxiom axiom)
void	axiomRemoved(AxiomSelectionModel source, org.semanticweb.owlapi.model.OWLAxiom axiom)
void	clear()
protected Border	createListItemBorder(JList list, Object value, int index, boolean isSelected, boolean cellHasFocus)
boolean	getAddJustificationsSectionVisibility()
protected List<org.protege.editor.core.ui.list.MListButton>	getButtons(Object value)
protected Color	getItemBackgroundColor(org.protege.editor.core.ui.list.MListItem item)
protected List<org.protege.editor.core.ui.list.MListButton>	getListItemButtons(org.protege.editor.core.ui.list.MListItem item)
String	getToolTipText(MouseEvent event)
protected void	paintComponent(Graphics g)
void	setAddJustificationsSectionVisibility(boolean isVisible)
void	setStatusString(String value)

Methods inherited from class org.protege.editor.owl.ui.framelist.OWLFrameList

addChangeListener, canCopy, canCut, canDelete, canPaste, canPerformAction, cutObjects, dispose, dragEnter, dragExit, dragOver, drop, dropActionChanged, getComponent, getExplanationManager, getFrame, getLinkedObject, getMouseCellLocation, getMouseCellRect, getObjectsToCopy, getRootObject, getRowName, handleAdd, handleDelete, handleEdit, handleSelectionEvent, invokeExplanationHandler, isAxiomSelectionSyncronized, pasteObjects, refreshComponent, removeChangeListener, setAxiomSelectionSyncronized, setCrossedOutEntities, setHighlightUnsatifiableClasses, setHighlightUnsatisfiableProperties, setLayoutOrientation, setLinkedObject, setRootObject, setWrap, updateUI

Methods inherited from class org.protege.editor.core.ui.list.MList

clearCellHeightCache, createPaddingBorder, getButtonDimension, getMousePosition, getScrollableTracksViewportWidth, getSectionButtons, setCellRenderer

Methods inherited from class javax.swing.JList

addListSelectionListener, addSelectionInterval, clearSelection, createSelectionModel, ensureIndexIsVisible, fireSelectionValueChanged, getAccessibleContext, getAnchorSelectionIndex, getCellBounds, getCellRenderer, getDragEnabled, getDropLocation, getDropMode, getFirstVisibleIndex, getFixedCellHeight, getFixedCellWidth, getLastVisibleIndex, getLayoutOrientation, getLeadSelectionIndex, getListSelectionListeners, getMaxSelectionIndex, getMinSelectionIndex, getModel, getNextMatch, getPreferredScrollableViewportSize, getPrototypeCellValue, getScrollableBlockIncrement, getScrollableTracksViewportHeight, getScrollableUnitIncrement, getSelectedIndex, getSelectedIndices, getSelectedValue, getSelectedValues, getSelectedValuesList, getSelectionBackground, getSelectionForeground, getSelectionMode, getSelectionModel, getUI, getUIClassID, getValueIsAdjusting, getVisibleRowCount, indexToLocation, isSelectedIndex, isSelectionEmpty, locationToIndex, paramString, removeListSelectionListener, removeSelectionInterval, setDragEnabled, setDropMode, setFixedCellHeight, setFixedCellWidth, setListData, setListData, setModel, setPrototypeCellValue, setSelectedIndex, setSelectedIndices, setSelectedValue, setSelectionBackground, setSelectionForeground, setSelectionInterval, setSelectionMode, setSelectionModel, setUI, setValueIsAdjusting, setVisibleRowCount

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, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, 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, 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

Methods inherited from interface org.protege.editor.core.Disposable

dispose

Constructor Details

JustificationFrameList

public JustificationFrameList(AxiomSelectionModel axiomSelectionModel,
 JustificationManager manager,
 PartialListVisualizer justificationPanel,
 Explanation explanation)

Method Details

addJustification

public void addJustification(PrioritizedJustification justification,
 int justificationNo)

setStatusString

public void setStatusString(String value)

clear

public void clear()

setAddJustificationsSectionVisibility

public void setAddJustificationsSectionVisibility(boolean isVisible)

getAddJustificationsSectionVisibility

public boolean getAddJustificationsSectionVisibility()

axiomAdded

public void axiomAdded(AxiomSelectionModel source,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

axiomAdded in interface AxiomSelectionListener

axiomRemoved

public void axiomRemoved(AxiomSelectionModel source,
 org.semanticweb.owlapi.model.OWLAxiom axiom)

Specified by:

axiomRemoved in interface AxiomSelectionListener

paintComponent

protected void paintComponent(Graphics g)

Overrides:

paintComponent in class org.protege.editor.core.ui.list.MList

getButtons

protected List<org.protege.editor.core.ui.list.MListButton> getButtons(Object value)

Overrides:

getButtons in class org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>

addToPopupMenu

public void addToPopupMenu(org.protege.editor.owl.ui.framelist.OWLFrameListPopupMenuAction<Explanation> justificationOWLFrameListPopupMenuAction)

Overrides:

addToPopupMenu in class org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>

getItemBackgroundColor

protected Color getItemBackgroundColor(org.protege.editor.core.ui.list.MListItem item)

Overrides:

getItemBackgroundColor in class org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>

getListItemButtons

protected List<org.protege.editor.core.ui.list.MListButton> getListItemButtons(org.protege.editor.core.ui.list.MListItem item)

Overrides:

getListItemButtons in class org.protege.editor.core.ui.list.MList

createListItemBorder

protected Border createListItemBorder(JList list,
 Object value,
 int index,
 boolean isSelected,
 boolean cellHasFocus)

Overrides:

createListItemBorder in class org.protege.editor.owl.ui.framelist.OWLFrameList<Explanation>

getToolTipText

public String getToolTipText(MouseEvent event)

Overrides:

getToolTipText in class org.protege.editor.core.ui.list.MList