org.jgrapht.event
public class GraphEdgeChangeEvent<V,E> 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.
|
protected E |
edge
The edge that this event is related to.
|
static int |
EDGE_ADDED
Edge added event.
|
static int |
EDGE_REMOVED
Edge removed event.
|
type| Constructor and Description |
|---|
GraphEdgeChangeEvent(java.lang.Object eventSource,
int type,
E e)
Constructor for GraphEdgeChangeEvent.
|
| Modifier and Type | Method and Description |
|---|---|
E |
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 E edge
public GraphEdgeChangeEvent(java.lang.Object eventSource,
int type,
E e)
eventSource - the source of this event.type - the event type of this event.e - the edge that this event is related to.public E getEdge()