java.lang.Object
java.util.EventObject
org.jgrapht.event.EdgeTraversalEvent<E>
- Type Parameters:
E
- the graph edge type
- All Implemented Interfaces:
Serializable
A traversal event for a graph edge.
- Author:
- Barak Naveh
- See Also:
-
Field Summary
Fields inherited from class java.util.EventObject
source
-
Constructor Summary
ConstructorDescriptionEdgeTraversalEvent
(Object eventSource, E edge) Creates a new EdgeTraversalEvent. -
Method Summary
Methods inherited from class java.util.EventObject
getSource, toString
-
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.
-