org._3pq.jgrapht.event
Class GraphEdgeChangeEvent
public class GraphEdgeChangeEvent
An event which indicates that a graph edge has changed, or is about to
change. The event can be used either as an indication
after the edge
has been added or removed, or
before it is added. The type of the
event can be tested using the
GraphChangeEvent.getType()
method.
Edge | getEdge() - Returns the edge that this event is related to.
|
BEFORE_EDGE_ADDED
public static final int BEFORE_EDGE_ADDED
Before edge added event. This event is fired before an edge is added to
a graph.
BEFORE_EDGE_REMOVED
public static final int BEFORE_EDGE_REMOVED
Before edge removed event. This event is fired before an edge is removed
from a graph.
EDGE_ADDED
public static final int EDGE_ADDED
Edge added event. This event is fired after an edge is added to a graph.
EDGE_REMOVED
public static final int EDGE_REMOVED
Edge removed event. This event is fired after an edge is removed from a
graph.
m_edge
protected Edge m_edge
The edge that this event is related to.
GraphEdgeChangeEvent
public GraphEdgeChangeEvent(Object eventSource,
int type,
Edge e)
Constructor for GraphEdgeChangeEvent.
eventSource
- the source of this event.type
- the event type of this event.e
- the edge that this event is related to.
getEdge
public Edge getEdge()
Returns the edge that this event is related to.
- the edge that this event is related to.