diva.graph
Class GraphViewEvent

java.lang.Object
  java.util.EventObject
      diva.graph.GraphViewEvent

All Implemented Interfaces:

java.io.Serializable

public class GraphViewEvent
extends java.util.EventObject

A graph view event that is emitted when anything interesting happens inside a graph view. The source of a event is the GraphController that issued the event.

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:

$Id: GraphViewEvent.java 38798 2005-07-08 20:00:01Z cxh $

Author:

Michael Shilman, Steve Neuendorffer

See Also:

GraphController, Serialized Form

Accepted Rating:

Red

Field Summary

private int	_id
private java.lang.Object	_oldValue
private java.lang.Object	_target The value of the event.
static int	EDGE_DRAWN The given edge was just drawn.
static int	EDGE_ROUTED The connector representing an edge was just routed.
static int	NODE_DRAWN The given node was just drawn.
static int	NODE_MOVED The figure representing a node was moved.

Fields inherited from class java.util.EventObject

source

Constructor Summary

GraphViewEvent(java.lang.Object source, int id, java.lang.Object target)
Construct a GraphViewEvent with the given source and target and a null previous value.

GraphViewEvent(java.lang.Object source, int id, java.lang.Object target, java.lang.Object oldValue)
Construct a GraphViewEvent with the given source, target, and previous value.

Method Summary

int	getID() Return the type id for this event.
java.lang.Object	getOldValue() Return the old value, which is event-specific.
java.lang.Object	getTarget() Return the target value, which is event-specific.
private java.lang.String	idToString() Return a string representation of the ID.
java.lang.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

NODE_MOVED

public static final int NODE_MOVED

The figure representing a node was moved.

See Also:

Constant Field Values

EDGE_ROUTED

public static final int EDGE_ROUTED

The connector representing an edge was just routed.

See Also:

Constant Field Values

NODE_DRAWN

public static final int NODE_DRAWN

The given node was just drawn.

See Also:

Constant Field Values

EDGE_DRAWN

public static final int EDGE_DRAWN

The given edge was just drawn.

See Also:

Constant Field Values

_id

private int _id

See Also:

getID()

_target

private java.lang.Object _target

The value of the event.

_oldValue

private java.lang.Object _oldValue

See Also:

getOldValue()

Constructor Detail

GraphViewEvent

public GraphViewEvent(java.lang.Object source,
                      int id,
                      java.lang.Object target)

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

GraphViewEvent

public GraphViewEvent(java.lang.Object source,
                      int id,
                      java.lang.Object target,
                      java.lang.Object oldValue)

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

Method Detail

getID

public int getID()

Return the type id for this event.

getTarget

public java.lang.Object getTarget()

Return the target value, which is event-specific.

getOldValue

public java.lang.Object getOldValue()

Return the old value, which is event-specific.

idToString

private java.lang.String idToString()

Return a string representation of the ID.

toString

public java.lang.String toString()

Return a string representation of this event.

Overrides:

toString in class java.util.EventObject