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