org.processmining.plugins.declareminer.visualizing
Class DGraphSelectionListener

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