Contract Annotations in Groovy/Grails with gcontracts
gcontracts version 1.0.1 has been released.
gcontracts aims to provide contract annotations for supporting specification of class-invariants, pre- and postconditions on methods and loop invariants in Groovy and Grails projects.
gcontracts version 1.0.1 is a maintenance release, which adds support for POGO and variables in Ensures annotations. AssertionError exception messages have also been refined in this release.
It can be downloaded from github.