Package groovy.contracts

Annotation Type EnsuresConditions

@Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) @Incubating public @interface EnsuresConditions
Represents multiple postconditions.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Ensures[]
    value
     

  • Element Details