org.processmining.plugins.declare.visualizing
Class GraphPane.MyMarqueeHandler

java.lang.Object
  extended by org.jgraph.graph.BasicMarqueeHandler
      extended by 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
 
Constructor Summary
GraphPane.MyMarqueeHandler()
           
 
Method Summary
 org.jgraph.graph.PortView getSourcePortAt(java.awt.geom.Point2D point)
           
protected  org.jgraph.graph.PortView getTargetPortAt(java.awt.geom.Point2D point)
           
 boolean isForceMarqueeEvent(java.awt.event.MouseEvent e)
           
 void mouseDragged(java.awt.event.MouseEvent e)
           
 void mouseMoved(java.awt.event.MouseEvent e)
           
 void mousePressed(java.awt.event.MouseEvent e)
           
 void mouseReleased(java.awt.event.MouseEvent e)
           
protected  void paintConnector(java.awt.Color fg, java.awt.Color bg, java.awt.Graphics g)
           
protected  void paintPort(java.awt.Graphics g)
           
 
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
 

Field Detail

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
Constructor Detail

GraphPane.MyMarqueeHandler

public GraphPane.MyMarqueeHandler()
Method Detail

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)