Contract-Orientated Programming for Groovy
GContracts 1.1.0 With Inheritance Support
GContracts 1.1.0 has been released.
GContracts is contract-oriented programming for Groovy, which aims to support the specification of class-invariants, pre- and postconditions on methods and loop invariants in Groovy and Grails projects.
This release introduces support for the inheritance of class invariants, preconditions and postconditions. Please note that inheritance support does not include pre/postcondition support in interfaces. All uses of getTypeClass() have also been replaced with valid alternatives.
It can be downloaded from github.