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

Constructors

Constructor and Description
AssignmentMarqueeHandler(org.jgraph.JGraph graph)

Method Summary

Modifier and Type	Method and Description
boolean	isForceMarqueeEvent(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e) Start the marquee at the specified startPoint.
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)

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

setListener

public void setListener(IAssignmentMarqueeListener listener)

setListener