public class GraphEdgeChangeEvent extends GraphChangeEvent
GraphChangeEvent.getType() method.| Modifier and Type | Field and Description |
|---|---|
static int |
BEFORE_EDGE_ADDED
Before edge added event.
|
static int |
BEFORE_EDGE_REMOVED
Before edge removed event.
|
static int |
EDGE_ADDED
Edge added event.
|
static int |
EDGE_REMOVED
Edge removed event.
|
protected Edge |
m_edge
The edge that this event is related to.
|
m_type| Constructor and Description |
|---|
GraphEdgeChangeEvent(java.lang.Object eventSource,
int type,
Edge e)
Constructor for GraphEdgeChangeEvent.
|
| Modifier and Type | Method and Description |
|---|---|
Edge |
getEdge()
Returns the edge that this event is related to.
|
getTypepublic static final int BEFORE_EDGE_ADDED
public static final int BEFORE_EDGE_REMOVED
public static final int EDGE_ADDED
public static final int EDGE_REMOVED
protected Edge m_edge
public GraphEdgeChangeEvent(java.lang.Object eventSource,
int type,
Edge e)
eventSource - the source of this event.type - the event type of this event.e - the edge that this event is related to.public Edge getEdge()