Annotation 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
-
Element Details
-
value
StateRefinement[] value
-