andresteingress / gcontracts

GContracts: Programming by Contract for Groovy

Home Page:http://gcontracts.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

support for requires and ensures at object creation

andresteingress opened this issue · comments

currently it is not possible to specify pre/postconditions at constructor nodes.

fixed in current master