Overview Package Class Tree Deprecated Index Help
PREV CLASS NEXT CLASS FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

diva.graph
Class GraphViewEvent

java.lang.Object
 extended byjava.util.EventObject
 extended bydiva.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,v 1.14 2005年07月08日 19:55:02 cxh Exp $
Author:
Michael Shilman, Steve Neuendorffer
See Also:
GraphController, Serialized Form
Accepted Rating:
Red

Field Summary
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.
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
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.


toString

public java.lang.String toString()
Return a string representation of this event.


Overview Package Class Tree Deprecated Index Help
PREV CLASS NEXT CLASS FRAMES NO FRAMES All Classes
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

AltStyle によって変換されたページ (->オリジナル) /