|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object extended byjava.util.EventObject extended bydiva.graph.GraphViewEvent
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.
GraphController,
Serialized Form
| 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 |
public static final int NODE_MOVED
public static final int EDGE_ROUTED
public static final int NODE_DRAWN
public static final int EDGE_DRAWN
| Constructor Detail |
public GraphViewEvent(java.lang.Object source, int id, java.lang.Object target)
public GraphViewEvent(java.lang.Object source, int id, java.lang.Object target, java.lang.Object oldValue)
| Method Detail |
public int getID()
public java.lang.Object getTarget()
public java.lang.Object getOldValue()
public java.lang.String toString()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||