일반 상태 차트 구현을 가진 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;
}