jp.go.aist.rtm.RTC.jfsm

Annotation Type History

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

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