jadex.bridge.service.annotation

Annotation Type CheckState

@Retention(value=RUNTIME)
 @Target(value={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 and 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

public abstract java.lang.String value

The expression will be parsed.

Default:

""

intermediate

public abstract boolean intermediate

Flag if used as post condition for intermediate results.

Default:

false

keep

public abstract int keep

Flag how many intermediate results should be preserved. Only necessary if a subscription future is used.

Default:

0