Annotation Interface CheckState


@Retention(RUNTIME) @Target({PARAMETER,METHOD}) public @interface CheckState
Pre or postcondition that a state is valid. May refer to all arguments/results. Reserved variables are $arg for the current argument and $arg0 - $argn for the arguments. In case of a post condition the result is available via $res and intermediate results via $res[0], $res[-1].
  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    Flag if used as post condition for intermediate results.
    int
    Flag how many intermediate results should be preserved.
    The expression will be parsed.
  • Element Details

    • value

      String value
      The expression will be parsed.
      Default:
      ""
    • intermediate

      boolean intermediate
      Flag if used as post condition for intermediate results.
      Default:
      false
    • keep

      int keep
      Flag how many intermediate results should be preserved. Only necessary if a subscription future is used.
      Default:
      0