public class EdgeTraversalEvent
extends java.util.EventObject
Modifier and Type | Field and Description |
---|---|
protected Edge |
m_edge
The traversed edge.
|
Constructor and Description |
---|
EdgeTraversalEvent(java.lang.Object eventSource,
Edge edge)
Creates a new EdgeTraversalEvent.
|
protected Edge m_edge
public EdgeTraversalEvent(java.lang.Object eventSource, Edge edge)
eventSource
- the source of the event.edge
- the traversed edge.public Edge getEdge()