org.dllearner.tools.protege
Class GraphicalCoveragePanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  org.dllearner.tools.protege.GraphicalCoveragePanel

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible

public class GraphicalCoveragePanel
extends JPanel

This class draws the graphical coverage of a learned concept.

Author:

Christian Koetteritzsch

See Also:

Serialized Form

Nested Class Summary

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

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Component

Component.BaselineResizeBehavior

Field Summary

Fields inherited from class javax.swing.JComponent

TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

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

Constructor Summary

GraphicalCoveragePanel(EvaluatedDescription desc, DLLearnerModel m, String concept, MoreDetailForSuggestedConceptsPanel p)
This is the constructor for the GraphicalCoveragePanel.

Method Summary

EvaluatedDescription	getEvaluateddescription() Returns the currently selected evaluated description.
GraphicalCoveragePanel	getGraphicalCoveragePanel() This method returns the GraphicalCoveragePanel.
Vector<IndividualPoint>	getIndividualVector() This method returns a Vector of all individuals that are drawn in the panel.
MoreDetailForSuggestedConceptsPanel	getMoreDetailForSuggestedConceptsPanel() This method returns the MoreDetailForSuggestedConceptsPanel.
int	getShiftCovered()
int	getShiftNewConcept()
int	getShiftNewConceptX()
int	getShiftOldConcept()
int	getX1() Returns the min. x value of the plus.
int	getX2() Returns the max. x value of the plus.
int	getY1() Returns the min. y value of the plus.
int	getY2() Returns the max. y value of the plus.
void	unsetPanel() Unsets the panel after plugin is closed.

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, 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, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, 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, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, 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, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, 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, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, 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, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, 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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GraphicalCoveragePanel

public GraphicalCoveragePanel(EvaluatedDescription desc,
                              DLLearnerModel m,
                              String concept,
                              MoreDetailForSuggestedConceptsPanel p)

This is the constructor for the GraphicalCoveragePanel.

Parameters:

desc - EvaluatedDescription

m - DLLearnerModel

concept - String

p - MoreDetailForSuggestedConceptsPanel

Method Detail

getIndividualVector

public Vector<IndividualPoint> getIndividualVector()

This method returns a Vector of all individuals that are drawn in the panel.

Returns:

Vector of Individuals

getGraphicalCoveragePanel

public GraphicalCoveragePanel getGraphicalCoveragePanel()

This method returns the GraphicalCoveragePanel.

Returns:

GraphicalCoveragePanel

getMoreDetailForSuggestedConceptsPanel

public MoreDetailForSuggestedConceptsPanel getMoreDetailForSuggestedConceptsPanel()

This method returns the MoreDetailForSuggestedConceptsPanel.

Returns:

MoreDetailForSuggestedConceptsPanel

getX1

public int getX1()

Returns the min. x value of the plus.

Returns:

int min X Value

getX2

public int getX2()

Returns the max. x value of the plus.

Returns:

int max X Value

getY1

public int getY1()

Returns the min. y value of the plus.

Returns:

int min Y Value

getY2

public int getY2()

Returns the max. y value of the plus.

Returns:

int max Y Value

getShiftOldConcept

public int getShiftOldConcept()

Returns:

getShiftCovered

public int getShiftCovered()

Returns:

getShiftNewConcept

public int getShiftNewConcept()

Returns:

getShiftNewConceptX

public int getShiftNewConceptX()

Returns:

unsetPanel

public void unsetPanel()

Unsets the panel after plugin is closed.

getEvaluateddescription

public EvaluatedDescription getEvaluateddescription()

Returns the currently selected evaluated description.

Returns:

EvaluatedDescription