Gcontracts gcontracts-core → 1.2.2

Closed Tickets

• ✔ #11 support for private methods no tags ✓resolved
• ✔ #14 Allow Labels in Annotation Closures no tags ✓resolved
• ✔ #15 Allow multiple labels in contracts no tags ✓resolved
• ✔ #16 missing return causes wrong method behavior no tags ✓resolved
• ✔ #19 multiple return statements cause missing postcondition validation no tags ✓resolved
• ✔ #20 precondition specification on constructor with default value fails no tags ✓resolved
• ✔ #21 cyclic method calls when querying property in class invariant no tags ✓hold
• ✔ #22 Support for private contructor no tags ✓resolved