N
- The type of Node contained in the Edge about which this Event is
reportingET
- The type of Edge about which this Event is reportingpublic class EdgeChangeEvent<N,ET extends Edge<N>>
extends java.util.EventObject
Modifier and Type | Field and Description |
---|---|
static int |
EDGE_ADDED
The constant ID used by an EdgeChangeEvent to indicate that an
EdgeChangeEvent was the result of an Edge being added to a Graph.
|
static int |
EDGE_REMOVED
The constant ID used by an EdgeChangeEvent to indicate that an
EdgeChangeEvent was the result of an Edge being removed from a Graph.
|
Constructor and Description |
---|
EdgeChangeEvent(Graph<N,ET> graph,
ET edge,
int id)
Constructs a new EdgeChangeEvent that occurred in the given Graph.
|
Modifier and Type | Method and Description |
---|---|
ET |
getGraphEdge()
Returns the Edge which was added to or removed from the Graph.
|
int |
getID()
Returns an identifier indicating if the Edge returned by getGraphEdge()
was added to or removed from the Graph.
|
public static final int EDGE_ADDED
public static final int EDGE_REMOVED
public EdgeChangeEvent(Graph<N,ET> graph, ET edge, int id)
graph
- The Graph in which this EdgeChangeEvent took placeedge
- The Edge which was added to or removed from the Graphid
- An integer identifying whether the given Edge was added or
removed from the Graphpublic ET getGraphEdge()
public int getID()