Annotation Type Hierarchy
- groovy.contracts.Contracted (implements java.lang.annotation.Annotation)
 - groovy.contracts.Ensures (implements java.lang.annotation.Annotation)
 - groovy.contracts.Invariant (implements java.lang.annotation.Annotation)
 - groovy.contracts.Requires (implements java.lang.annotation.Annotation)