Architecture of Generated C Code : Main Task: Partition and Flow Control for C : Definition of Fictive Events/Conditions

Definition of Fictive Events/Conditions

The fictive events are events not explicitly defined in the model. Thus, they can be thought of as “Statemate-generated events.” They are essentially timeout events, enter/exit state events, and in-state conditions. Fictive events are generated only when necessary, i.e., only if the model uses en(STATE) and the enst_STATE event is generated.

event enst_CHANGE1 = FALSE;
event tmenst_CHANGE3 = FALSE;