Annotation Interface PostConditions


@Target(METHOD) @Retention(RUNTIME) public @interface PostConditions
  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Supply a number of postconditions.
  • Element Details

    • value

      PostCondition[] value
      Supply a number of postconditions.