Package jadex.bridge.service.annotation

Annotation Type 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 intermediate
      Flag if used as post condition for intermediate results.
      int keep
      Flag how many intermediate results should be preserved.
      java.lang.String value
      The expression will be parsed.

    • Element Detail

      • value

        java.lang.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