Package jadex.providedservice.annotation
Annotation Interface CheckNotNull
Pre- or postcondition check that a parameter is not null.
-
Optional Element Summary
Optional ElementsModifier and TypeOptional ElementDescriptionboolean
Flag if used as post condition for intermediate results.
-
Element Details
-
intermediate
boolean intermediateFlag if used as post condition for intermediate results.- Default:
false
-