org.processmining.plugins.declare.visualizing
Class DGraphSelectionListener

java.lang.Object
  org.processmining.plugins.declare.visualizing.DGraphSelectionListener

All Implemented Interfaces:

java.util.EventListener, org.jgraph.event.GraphSelectionListener

public class DGraphSelectionListener
extends java.lang.Object
implements org.jgraph.event.GraphSelectionListener

Title: DECLARE

Description: Makes sure that all graph cells with the same userObject are either selected or disselected at one moment.

Copyright: Copyright (c) 2006

Company: TU/e

Version:

1.0

Author:

Maja Pesic

Constructor Summary

DGraphSelectionListener(DGraph aGraph)
Cretes a new instance for the specified graph.

Method Summary

void	valueChanged(org.jgraph.event.GraphSelectionEvent graphSelectionEvent) Invoked whenever the selection of the graph changes.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DGraphSelectionListener

public DGraphSelectionListener(DGraph aGraph)

Cretes a new instance for the specified graph. Assignes self as a listener for the graph.

Parameters:

aGraph - The graph that is listened to.

Method Detail

valueChanged

public void valueChanged(org.jgraph.event.GraphSelectionEvent graphSelectionEvent)

Invoked whenever the selection of the graph changes.

Specified by:

valueChanged in interface org.jgraph.event.GraphSelectionListener

Parameters:

graphSelectionEvent - GraphSelectionEvent