nz.ac.waikato.modeljunit
Annotation Type Action

@Retention(value=RUNTIME)
@Target(value={FIELD,METHOD,LOCAL_VARIABLE,PARAMETER})
public @interface Action

Indicates that the annotated method is a transition of an FSM. This annotation should be used only on parameterless methods.