diva.graph.layout

Class IncrementalLayoutListener

java.lang.Object

diva.graph.layout.IncrementalLayoutListener

All Implemented Interfaces:

GraphViewListener, EventListener

public class IncrementalLayoutListener
extends Object
implements GraphViewListener

A Listener that applies the given incremental layout whenever a graph event is received. The listener applies an optional filter which can be used to limit the context into which the layout algorithm will be applied.

Version:

$Revision: 1.2 $

Author:

Steve Neuendorffer (neuendor@eecs.berkeley.edu)

Constructor Summary

Constructors

Constructor and Description
IncrementalLayoutListener(IncrementalLayout layout, Filter filter) Construct a new listener that invokes the given incremental layout whenever a graph event is received.

Method Summary

Modifier and Type	Method and Description
void	edgeDrawn(GraphViewEvent e) A connector representing an edge was just drawn.
void	edgeRouted(GraphViewEvent e) The connector representing an edge was just routed.
Filter	getFilter() Return the filter for this listener.
IncrementalLayout	getLayout() Return the layout.
void	nodeDrawn(GraphViewEvent e) A figure representing a node was just drawn.
void	nodeMoved(GraphViewEvent e) The figure representing a node was moved.

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalLayoutListener

public IncrementalLayoutListener(IncrementalLayout layout,
                                 Filter filter)

Construct a new listener that invokes the given incremental layout whenever a graph event is received.

Method Detail

edgeDrawn

public void edgeDrawn(GraphViewEvent e)

Description copied from interface: GraphViewListener

A connector representing an edge was just drawn.

Specified by:

edgeDrawn in interface GraphViewListener

edgeRouted

public void edgeRouted(GraphViewEvent e)

Description copied from interface: GraphViewListener

The connector representing an edge was just routed.

Specified by:

edgeRouted in interface GraphViewListener

getFilter

public Filter getFilter()

Return the filter for this listener.

getLayout

public IncrementalLayout getLayout()

Return the layout.

nodeDrawn

public void nodeDrawn(GraphViewEvent e)

Description copied from interface: GraphViewListener

A figure representing a node was just drawn.

Specified by:

nodeDrawn in interface GraphViewListener

nodeMoved

public void nodeMoved(GraphViewEvent e)

Description copied from interface: GraphViewListener

The figure representing a node was moved.

Specified by:

nodeMoved in interface GraphViewListener