jp.go.aist.rtm.RTC.jfsm

Annotation Type DeepHistory

@Retention(value=RUNTIME)
 @Target(value=TYPE)
public @interface DeepHistory

深い履歴を指定するアノテーション。ユーザー定義状態クラスに付加する。