재사용 가능한 상태 차트 구현을 가진 Or 상태의 로컬 종료에 대해 다음과 같이 코드가 생성됩니다.
&& IS_COMPLETED(state)
FinalA = new FinalState(this, OrState, rootState,
"ROOT.OrState.FinalA");
재사용 가능한 상태 차트 구현을 가진 And 상태의 로컬 종료에 대해 다음과 같이 코드가 생성됩니다.
&& IS_COMPLETED(AndState)
이 경우, AndState 프레임워크 클래스의 isCompleted() 함수가 호출됩니다.
&& IS_COMPLETED(state)
(IS_IN(state))
다음 예제는 실제 보호 및 로컬 종료 보호가 있는 결합 상태 전이에 대해 생성된 코드를 표시합니다(여기서 C1 및 C2는 최종 활동이 있는 Or 상태이고 C3는 리프 상태임).
if(RealGuard() && IS_COMPLETED(C1) && IS_COMPLETED(C2) && IS_IN(C3))