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.
|
getType
public 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()