public static class PteraDirector.TimedEvent extends TimedEvent
TimedEvent.TimeComparator
Modifier and Type | Field and Description |
---|---|
Token |
arguments
Arguments to the event.
|
boolean |
canceled
Whether this event has been canceled.
|
Event.RefiringData |
data
The refiring data returned from the previous fire() or refire(), or
null if the scheduled firing is the first one.
|
boolean |
reset
Whether the refinement of the scheduled event should be
(re)initialized when the event is processed.
|
contents, timeStamp
Constructor and Description |
---|
TimedEvent(java.lang.Object object,
Time time,
Token arguments,
Event.RefiringData data,
boolean reset)
Construct a TimedEvent.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString()
Display timeStamp and contents.
|
compareTo, equals, hashCode
public Token arguments
public boolean canceled
public Event.RefiringData data
public boolean reset
public TimedEvent(java.lang.Object object, Time time, Token arguments, Event.RefiringData data, boolean reset)
object
- The actor or event.time
- The model time at which the actor or event is scheduled.arguments
- Arguments to the event, which must be either an
ArrayToken or a RecordToken.data
- The refiring data for the next refire() invocation of
the event that causes this method to be called, or null if none.reset
- Whether the refinement of the scheduled event should be
reinitialized when the event is processed.public java.lang.String toString()
toString
in class TimedEvent