Package: groovy.contracts

[Java] Annotation Type Invariant