Annotation Interface StateRefinementMultiple


@Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) public @interface StateRefinementMultiple
Interface to allow multiple state refinements in a method. A method can have a state refinement for each set of different source and destination states
Author:
catarina gamboa
  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description