public class StopRequestedEvent extends Event
Constructor and Description |
---|
StopRequestedEvent(java.lang.Object source,
java.util.Set visited) |
Modifier and Type | Method and Description |
---|---|
EventType |
getEventType()
A type for this event.
|
java.util.Set<java.lang.Object> |
getVisited() |
consume, getName, getRc, isConsumed, isVetoed, setRc, setVeto, veto
public static final EventType ID
public StopRequestedEvent(java.lang.Object source, java.util.Set visited)
public EventType getEventType()
IEvent
getEventType
in interface IEvent
getEventType
in class Event
public java.util.Set<java.lang.Object> getVisited()