Class GraphComponentMouseMotionListener
- java.lang.Object
-
- org.processmining.objectcentricconstraintchecking.algorithms.listener.GraphComponentMouseMotionListener
-
- All Implemented Interfaces:
java.awt.event.MouseMotionListener,java.util.EventListener
public class GraphComponentMouseMotionListener extends java.lang.Object implements java.awt.event.MouseMotionListener
-
-
Constructor Summary
Constructors Constructor Description GraphComponentMouseMotionListener(BasicGraphEditor modelEditor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidmouseDragged(java.awt.event.MouseEvent e)protected voidmouseLocationChanged(java.awt.event.MouseEvent e)voidmouseMoved(java.awt.event.MouseEvent e)
-
-
-
Constructor Detail
-
GraphComponentMouseMotionListener
public GraphComponentMouseMotionListener(BasicGraphEditor modelEditor)
-
-
Method Detail
-
mouseDragged
public void mouseDragged(java.awt.event.MouseEvent e)
- Specified by:
mouseDraggedin interfacejava.awt.event.MouseMotionListener
-
mouseMoved
public void mouseMoved(java.awt.event.MouseEvent e)
- Specified by:
mouseMovedin interfacejava.awt.event.MouseMotionListener
-
mouseLocationChanged
protected void mouseLocationChanged(java.awt.event.MouseEvent e)
-
-