org.dllearner.tools.protege
Class GraphicalCoveragePanelHandler

java.lang.Object
  org.dllearner.tools.protege.GraphicalCoveragePanelHandler

All Implemented Interfaces:

MouseListener, MouseMotionListener, PropertyChangeListener, EventListener

public class GraphicalCoveragePanelHandler
extends Object
implements MouseMotionListener, MouseListener, PropertyChangeListener

This class takes care of all events happening in the GraphicalCoveragePanel.

Author:

Christian Koetteritzsch

Constructor Summary

GraphicalCoveragePanelHandler(GraphicalCoveragePanel p, EvaluatedDescription eval, DLLearnerModel m)
This is the constructor for the handler.

Method Summary

void	mouseClicked(MouseEvent arg0)
void	mouseDragged(MouseEvent arg0)
void	mouseEntered(MouseEvent arg0)
void	mouseExited(MouseEvent arg0)
void	mouseMoved(MouseEvent m)
void	mousePressed(MouseEvent arg0)
void	mouseReleased(MouseEvent arg0)
void	propertyChange(PropertyChangeEvent arg0)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicalCoveragePanelHandler

public GraphicalCoveragePanelHandler(GraphicalCoveragePanel p,
                                     EvaluatedDescription eval,
                                     DLLearnerModel m)

This is the constructor for the handler.

Parameters:

p - GraphicalCoveragePanel

eval - EvaluatedDescription

m - DLLearnerModel

Method Detail

mouseDragged

public void mouseDragged(MouseEvent arg0)

Specified by:

mouseDragged in interface MouseMotionListener

mouseMoved

public void mouseMoved(MouseEvent m)

Specified by:

mouseMoved in interface MouseMotionListener

propertyChange

public void propertyChange(PropertyChangeEvent arg0)

Specified by:

propertyChange in interface PropertyChangeListener

mouseClicked

public void mouseClicked(MouseEvent arg0)

Specified by:

mouseClicked in interface MouseListener

mouseEntered

public void mouseEntered(MouseEvent arg0)

Specified by:

mouseEntered in interface MouseListener

mouseExited

public void mouseExited(MouseEvent arg0)

Specified by:

mouseExited in interface MouseListener

mousePressed

public void mousePressed(MouseEvent arg0)

Specified by:

mousePressed in interface MouseListener

mouseReleased

public void mouseReleased(MouseEvent arg0)

Specified by:

mouseReleased in interface MouseListener