public static class PteraDirector.TimedEvent extends TimedEvent
| Red (tfeng) |
| Yellow (tfeng) |
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, hashCodepublic 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