diva.graph
Class AbstractGraphController.ChangeListener

java.lang.Object
  diva.graph.AbstractGraphController.ChangeListener

All Implemented Interfaces:

GraphListener, java.util.EventListener

Enclosing class:

AbstractGraphController

private class AbstractGraphController.ChangeListener
extends java.lang.Object
implements GraphListener

This inner class responds to changes in the graph we are controlling.

Constructor Summary

private

AbstractGraphController.ChangeListener()

Method Summary

void	edgeHeadChanged(GraphEvent e) An edge's head has been changed in a registered graph or one of its subgraphs.
void	edgeTailChanged(GraphEvent e) An edge's tail has been changed in a registered graph or one of its subgraphs.
void	nodeAdded(GraphEvent e) A node has been been added to the registered graph or one of its subgraphs.
void	nodeRemoved(GraphEvent e) A node has been been deleted from the registered graphs or one of its subgraphs.
void	structureChanged(GraphEvent e) The structure of the event's "source" graph has been drastically changed in some way, and this event signals the listener to refresh its view of that graph from model.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractGraphController.ChangeListener

private AbstractGraphController.ChangeListener()

Method Detail

edgeHeadChanged

public void edgeHeadChanged(GraphEvent e)

An edge's head has been changed in a registered graph or one of its subgraphs. The added edge is the "source" of the event. The previous head is accessible via e.getOldValue().

Specified by:

edgeHeadChanged in interface GraphListener

edgeTailChanged

public void edgeTailChanged(GraphEvent e)

An edge's tail has been changed in a registered graph or one of its subgraphs. The added edge is the "source" of the event. The previous tail is accessible via e.getOldValue().

Specified by:

edgeTailChanged in interface GraphListener

nodeAdded

public void nodeAdded(GraphEvent e)

A node has been been added to the registered graph or one of its subgraphs. The added node is the "source" of the event.

Specified by:

nodeAdded in interface GraphListener

nodeRemoved

public void nodeRemoved(GraphEvent e)

A node has been been deleted from the registered graphs or one of its subgraphs. The deleted node is the "source" of the event. The previous parent graph is accessible via e.getOldValue().

Specified by:

nodeRemoved in interface GraphListener

structureChanged

public void structureChanged(GraphEvent e)

The structure of the event's "source" graph has been drastically changed in some way, and this event signals the listener to refresh its view of that graph from model.

Specified by:

structureChanged in interface GraphListener