Package jadex.bridge.service.annotation

Annotation Type PostConditions

  • @Target(METHOD)
@Retention(RUNTIME)
public @interface PostConditions

    • Required Element Summary

      Required Elements 
      Modifier and Type Required Element Description
      PostCondition[] value
      Supply a number of postconditions.

    • Element Detail

      • value

        PostCondition[] value
        Supply a number of postconditions.