フラット・ステートチャート実装を持つ Or 状態のローカル終了のコードは、以下のように生成されます。
inline OMBoolean
class_0::OrState_isCompleted() {
return (FinalA_IN() || FinalB_IN());
}
&& IS_COMPLETED(state)
フラット・ステートチャート実装を持つ And 状態のローカル終了のコードは、以下のように生成されます。
&& IS_COMPLETED(AndState)
この場合は、AndState フレームワーク・クラスの isCompleted() 関数が呼び出されます。
OMBoolean class_0::AndState_isCompleted()
{
if(IS_COMPLETED(Component1) == FALSE)
return FALSE;
if(IS_COMPLETED(Component2) == FALSE)
return FALSE;
return TRUE;
}