針對具有平面狀態圖實作之 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;
}