diva.graphx.event

Interface GraphListener

All Superinterfaces:

EventListener

All Known Implementing Classes:

GraphEventMulticaster, GraphLogger

public interface GraphListener
extends EventListener

A listener for changes in a graph's structure or contents, which are communicated through GraphEvent objects. GraphListeners register themselves with a GraphModel object, and receive events from Nodes and Edges contained by that model's root graph or any of its subgraphs.

Version:

$Revision: 1.2 $

Author:

Michael Shilman (michaels@eecs.berkeley.edu), John Reekie (johnr@eecs.berkeley.edu)

Method Summary

Modifier and Type	Method and Description
void	edgeAdded(GraphEvent e) A edge has been been added to the registered graph or one of its subgraphs.
void	edgeHeadChanged(GraphEvent e) An edge's head has been changed in a registered graph or one of its subgraphs.
void	edgeRemoved(GraphEvent e) A edge has been been deleted from the registered graphs 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.

Method Detail

edgeHeadChanged

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().

edgeTailChanged

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().

edgeAdded

void edgeAdded(GraphEvent e)

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

edgeRemoved

void edgeRemoved(GraphEvent e)

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

nodeAdded

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.

nodeRemoved

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().

structureChanged

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.