org.processmining.plugins.declare.visualizing
Class GraphPane.MyMarqueeHandler
java.lang.Object
org.jgraph.graph.BasicMarqueeHandler
org.processmining.plugins.declare.visualizing.GraphPane.MyMarqueeHandler
- Enclosing class:
- GraphPane
public class GraphPane.MyMarqueeHandler
- extends org.jgraph.graph.BasicMarqueeHandler
Field Summary |
protected java.awt.geom.Point2D |
current
|
protected org.jgraph.graph.PortView |
firstPort
|
protected org.jgraph.graph.PortView |
port
|
protected java.awt.geom.Point2D |
start
|
Fields inherited from class org.jgraph.graph.BasicMarqueeHandler |
currentPoint, marqueeBounds, previousCursor, startPoint |
Methods inherited from class org.jgraph.graph.BasicMarqueeHandler |
getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, overlay, paint, processMouseDraggedEvent, setCurrentPoint, setMarqueeBounds, setPreviousCursor, setStartPoint |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
start
protected java.awt.geom.Point2D start
current
protected java.awt.geom.Point2D current
port
protected org.jgraph.graph.PortView port
firstPort
protected org.jgraph.graph.PortView firstPort
GraphPane.MyMarqueeHandler
public GraphPane.MyMarqueeHandler()
isForceMarqueeEvent
public boolean isForceMarqueeEvent(java.awt.event.MouseEvent e)
- Overrides:
isForceMarqueeEvent
in class org.jgraph.graph.BasicMarqueeHandler
mousePressed
public void mousePressed(java.awt.event.MouseEvent e)
- Overrides:
mousePressed
in class org.jgraph.graph.BasicMarqueeHandler
mouseDragged
public void mouseDragged(java.awt.event.MouseEvent e)
- Overrides:
mouseDragged
in class org.jgraph.graph.BasicMarqueeHandler
getSourcePortAt
public org.jgraph.graph.PortView getSourcePortAt(java.awt.geom.Point2D point)
getTargetPortAt
protected org.jgraph.graph.PortView getTargetPortAt(java.awt.geom.Point2D point)
mouseReleased
public void mouseReleased(java.awt.event.MouseEvent e)
- Overrides:
mouseReleased
in class org.jgraph.graph.BasicMarqueeHandler
mouseMoved
public void mouseMoved(java.awt.event.MouseEvent e)
- Overrides:
mouseMoved
in class org.jgraph.graph.BasicMarqueeHandler
paintConnector
protected void paintConnector(java.awt.Color fg,
java.awt.Color bg,
java.awt.Graphics g)
paintPort
protected void paintPort(java.awt.Graphics g)