org.processmining.plugins.declareminer.visualizing
Class AssignmentMarqueeHandler

java.lang.Object
  extended by org.jgraph.graph.BasicMarqueeHandler
      extended by org.processmining.plugins.declareminer.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