Package jadex.bridge.service.annotation
Annotation Type CheckNotNull
-
@Retention(RUNTIME) @Target({PARAMETER,METHOD}) public @interface CheckNotNull
Pre- or postcondition check that a parameter is not null.
-
-
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description boolean
intermediate
Flag if used as post condition for intermediate results.
-