biz.hammurapi.web.statemachine
Class StateMachineApplet.MyMarqueeHandler

java.lang.Object
  org.jgraph.graph.BasicMarqueeHandler
      biz.hammurapi.web.statemachine.StateMachineApplet.MyMarqueeHandler

Enclosing class:

StateMachineApplet

public class StateMachineApplet.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

StateMachineApplet.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

StateMachineApplet.MyMarqueeHandler

public StateMachineApplet.MyMarqueeHandler()

Method Detail

isForceMarqueeEvent

public boolean isForceMarqueeEvent(java.awt.event.MouseEvent e)

mousePressed

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

mouseDragged

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

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)

mouseMoved

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

paintConnector

protected void paintConnector(java.awt.Color fg,
                              java.awt.Color bg,
                              java.awt.Graphics g)

paintPort

protected void paintPort(java.awt.Graphics g)