org.processmining.plugins.declare.visualizing
Class AssignmentMarqueeHandler

java.lang.Object
  org.jgraph.graph.BasicMarqueeHandler
      org.processmining.plugins.declare.visualizing.AssignmentMarqueeHandler

public class AssignmentMarqueeHandler
extends org.jgraph.graph.BasicMarqueeHandler

Title: DECLARE

Description:

Copyright: Copyright (c) 2006

Company: TU/e

Version:

1.0

Author:

Maja Pesic

Field Summary

Fields inherited from class org.jgraph.graph.BasicMarqueeHandler

currentPoint, marqueeBounds, previousCursor, startPoint

Constructor Summary

AssignmentMarqueeHandler(org.jgraph.JGraph graph)

Method Summary

boolean	isForceMarqueeEvent(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	setListener(IAssignmentMarqueeListener listener) setListener

Methods inherited from class org.jgraph.graph.BasicMarqueeHandler

getCurrentPoint, getGraphForEvent, getMarqueeBounds, getPreviousCursor, getStartPoint, handleMarqueeEvent, isMarqueeTriggerEvent, mouseDragged, mouseMoved, mouseReleased, 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

Constructor Detail

AssignmentMarqueeHandler

public AssignmentMarqueeHandler(org.jgraph.JGraph graph)

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

setListener

public void setListener(IAssignmentMarqueeListener listener)

setListener