Annotation Interface PreConditions


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

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

    • value

      PreCondition[] value
      Supply a number of preconditions.