Operation void addEvent (String name, long time), in Class ActivityManager

Documentation
* @param name the name of the event. Some behavior needs to understand this name.
* @param time the time (real time) at which this event will be triggered. Note that
* if we are running behind, events might be triggered later than requested.

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlImplementationAccess  


Preconditions


Postconditions


Semantics



Property Settings

Java
AbstractFalseStaticFalse
FinalFalseNativeFalse
SynchronizedFalse  


Data Modeler
dmItemFalseDMName 
IsConstraintFalseConstraintType 
IsIndexFalseIsTriggerFalse
IsClusterFalseTableSpace 
FillFactor0KeyList 
CheckPredicate IsUniqueFalse
DeferalMode InitialCheckTime 
TriggerType TriggerReferencePart 
IsInsertEventFalseIsUpdateEventFalse
IsDeleteEventFalse