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

Fields

Modifier and Type	Field and Description
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

Constructors

Constructor and Description
MyMarqueeHandler()

Method Summary

Modifier and Type	Method and Description
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) Includes the specified startPoint in the marquee selection.
void	mouseMoved(java.awt.event.MouseEvent e) Empty.
void	mousePressed(java.awt.event.MouseEvent e) Start the marquee at the specified startPoint.
void	mouseReleased(java.awt.event.MouseEvent e) Stops the current marquee selection.
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

MyMarqueeHandler

public 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)

Description copied from class: org.jgraph.graph.BasicMarqueeHandler

Start the marquee at the specified startPoint. This invokes expandMarqueeToPoint to initialize marquee selection.

Overrides:

mousePressed in class org.jgraph.graph.BasicMarqueeHandler

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent e)

Description copied from class: org.jgraph.graph.BasicMarqueeHandler

Includes the specified startPoint in the marquee selection. Calls overlay.

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)

Description copied from class: org.jgraph.graph.BasicMarqueeHandler

Stops the current marquee selection.

Overrides:

mouseReleased in class org.jgraph.graph.BasicMarqueeHandler

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent e)

Description copied from class: org.jgraph.graph.BasicMarqueeHandler

Empty.

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)