Ada Code Generation : Package Specification : Definition of Fictive Events

Definition of Fictive Events
ENMOVE_DOWN : event ;
tmDOWN_FINISHED: event ;
 
 

The fictive events are events not explicitly defined in the model. They are essentially timeout events, enter/exit state events and in-state conditions. They are generated only when necessary; i.e. only if there is a use of en(STATE) the ENSTATE event appears in the code. The above two events appear because the model contains timeout event DOWN_FINISHED defined as tm(en(MOVE_DOWN), 5).