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.
|
| Modifier and Type | Method and Description |
|---|---|
Edge |
getEdge()
Returns the traversed edge.
|
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()