Package jadex.providedservice.annotation
Annotation 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 ElementsModifier and TypeOptional ElementDescriptionboolean
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 valueThe expression will be parsed.- Default:
""
-
intermediate
boolean intermediateFlag if used as post condition for intermediate results.- Default:
false
-
keep
int keepFlag how many intermediate results should be preserved. Only necessary if a subscription future is used.- Default:
0
-