java.lang.Object
java.util.EventObject
org.jgrapht.event.EdgeTraversalEvent<E>
- Type Parameters:
E
- the graph edge type
- All Implemented Interfaces:
java.io.Serializable
public class EdgeTraversalEvent<E>
extends java.util.EventObject
A traversal event for a graph edge.
- Author:
- Barak Naveh
- See Also:
- Serialized Form
-
Field Summary
-
Constructor Summary
Constructors Constructor Description EdgeTraversalEvent(java.lang.Object eventSource, E edge)
Creates a new EdgeTraversalEvent. -
Method Summary
-
Field Details
-
edge
The traversed edge.
-
-
Constructor Details
-
EdgeTraversalEvent
Creates a new EdgeTraversalEvent.- Parameters:
eventSource
- the source of the event.edge
- the traversed edge.
-
-
Method Details
-
getEdge
Returns the traversed edge.- Returns:
- the traversed edge.
-