diva.graph

Class GraphEvent

java.lang.Object

java.util.EventObject

diva.graph.GraphEvent

All Implemented Interfaces:

Serializable

public class GraphEvent
extends EventObject

A graph event that is emitted when anything interesting happens inside a graph by way of a GraphModel. The source of a graph event is the object which caused the change to the graph model, such as a particular controller of the graph or a user algorithm.

Each graph event contains an ID and a previous value for all changes and deletions, the specifics of which are described on a case-by-case basis below.

Version:

$Revision: 1.10 $

Author:

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

See Also:

GraphModel, Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	EDGE_HEAD_CHANGED Edge head is changed; target is the edge, old value is the previous value of the edge head.
static int	EDGE_TAIL_CHANGED Edge tail is changed; target is the edge, old value is the previous value of the edge tail.
static int	NODE_ADDED A node is added to a graph; target is the node, old value is the previous parent of the graph.
static int	NODE_REMOVED A node is deleted from a graph; target is the node, old value is the previous parent of the graph.
static int	STRUCTURE_CHANGED Graph is modified signficantly and should be fully "refreshed"; target is the graph, old value is null.

Fields inherited from class java.util.EventObject

source

Constructor Summary

Constructors

Constructor and Description
GraphEvent(Object source, int id, Object target) Construct a GraphEvent with the given source and target and a null previous value.
GraphEvent(Object source, int id, Object target, Object oldValue) Construct a GraphEvent with the given source, target, and previous value.

Method Summary

Modifier and Type	Method and Description
int	getID() Return the type id for this event.
Object	getOldValue() Return the old value, which is event-specific.
Object	getTarget() Return the target value, which is event-specific.
String	toString() Return a string representation of this event.

Methods inherited from class java.util.EventObject

getSource

Methods inherited from class java.lang.Object

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

Field Detail

EDGE_HEAD_CHANGED

public static final int EDGE_HEAD_CHANGED

Edge head is changed; target is the edge, old value is the previous value of the edge head.

See Also:

Constant Field Values

EDGE_TAIL_CHANGED

public static final int EDGE_TAIL_CHANGED

Edge tail is changed; target is the edge, old value is the previous value of the edge tail.

See Also:

Constant Field Values

NODE_ADDED

public static final int NODE_ADDED

A node is added to a graph; target is the node, old value is the previous parent of the graph.

See Also:

Constant Field Values

NODE_REMOVED

public static final int NODE_REMOVED

A node is deleted from a graph; target is the node, old value is the previous parent of the graph.

See Also:

Constant Field Values

STRUCTURE_CHANGED

public static final int STRUCTURE_CHANGED

Graph is modified signficantly and should be fully "refreshed"; target is the graph, old value is null.

See Also:

Constant Field Values

Constructor Detail

GraphEvent

public GraphEvent(Object source,
                  int id,
                  Object target)

Construct a GraphEvent with the given source and target and a null previous value.

GraphEvent

public GraphEvent(Object source,
                  int id,
                  Object target,
                  Object oldValue)

Construct a GraphEvent with the given source, target, and previous value.

Method Detail

getID

public int getID()

Return the type id for this event.

getTarget

public Object getTarget()

Return the target value, which is event-specific.

getOldValue

public Object getOldValue()

Return the old value, which is event-specific.

toString

public String toString()

Return a string representation of this event.

Overrides:

toString in class EventObject