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.