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
    Modifier and Type
    Optional Element
    Description
     
     
  • Element Details