Annotation Interface StateRefinement
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@Repeatable(StateRefinementMultiple.class)
public @interface StateRefinement
Annotation to create state transitions in a method. The annotation has two arguments: from : the
state in which the object needs to be for the method to be invoked correctly to : the state in
which the object will be after the execution of the method
e.g. @StateRefinement(from="open(this)", to="closed(this)")
- Author:
- catarina gamboa
-
Optional Element Summary
Optional Elements