Code is generated for local termination of Or states with the reusable statechart implementation as follows:
&& IS_COMPLETED(state)
FinalA = new FinalState(this, OrState, rootState,
"ROOT.OrState.FinalA");
Code is generated for local termination of And states with the reusable statechart implementation as follows:
&& IS_COMPLETED(AndState)
In this case, the isCompleted() function of the AndState framework class is called.
&& IS_COMPLETED(state)
(IS_IN(state))
The following example shows the code generated for a join transition with a real guard and local termination guards, where C1 and C2 are Or states with final activities and C3 is a leaf state:
if(RealGuard() && IS_COMPLETED(C1) && IS_COMPLETED(C2) && IS_IN(C3))