org.jgraph
Class JGraph.GraphSelectionRedirector

java.lang.Object
  org.jgraph.JGraph.GraphSelectionRedirector

All Implemented Interfaces:

java.io.Serializable, java.util.EventListener, GraphSelectionListener

Enclosing class:

JGraph

protected class JGraph.GraphSelectionRedirector
extends java.lang.Object
implements java.io.Serializable, GraphSelectionListener

Handles creating a new GraphSelectionEvent with the JGraph as the source and passing it off to all the listeners.

Warning: Serialized objects of this class will not be compatible with future Swing releases. The current serialization support is appropriate for short term storage or RMI between applications running the same version of Swing. A future release of Swing will provide support for long term persistence.

See Also:

Serialized Form

Constructor Summary

protected

JGraph.GraphSelectionRedirector()

Method Summary

void	valueChanged(GraphSelectionEvent e) Invoked by the GraphSelectionModel when the selection changes.

Methods inherited from class java.lang.Object

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

Constructor Detail

JGraph.GraphSelectionRedirector

protected JGraph.GraphSelectionRedirector()

Method Detail

valueChanged

public void valueChanged(GraphSelectionEvent e)

Invoked by the GraphSelectionModel when the selection changes.

Specified by:

valueChanged in interface GraphSelectionListener

Parameters:

e - the GraphSelectionEvent generated by the GraphSelectionModel