Re: ある状態がアクティブであることをガード条件とする

いただきました追加のご質問の内容を見て、今回のご質問の前提が
Enterprise Architectのステートマシン図からのソースコード生成の
機能の話と理解いたしました。
お手数をおかけし申し訳ございません。

先ほどの回答は、UMLの表現としての一般的な回答でした。

ご指摘のように、Enterprise Architectのステートマシン図からの
ソースコード生成の場合には、currStateに状態を
保持するような形になっていますので、その内容を
チェックするような関数をクラスに追加し、その内容を
呼び出すような仕組みも可能と思います。