Package jadex.providedservice.annotation
Annotation Interface PostConditions
-
Required Element Summary
Required ElementsModifier and TypeRequired ElementDescriptionSupply a number of postconditions.
-
Element Details
-
value
PostCondition[] valueSupply a number of postconditions.
-