針對具有可重複使用的狀態圖實作之 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))