C4J - DBC for Java / News: Recent posts

Bug fix release 2.7.5 is now available.
Fixes a problem with inherited contracts and a problem with merged contracts.

A new release is available which adds support for recursive calls from contracts to the same method that is being validated.
Pre/post conditions and invariants are supported, static contracts are not supported.

Another bug fix release. Fixes a bug introduced in 2.7.2 that resulted in a "javassist.CannotCompileException: [source error] Field ___initialized in ... is private." error

A new bug fix release is available. Fixes an issue with classInvariant inheritance in combination with method calls from constructors.

This release adds the possibility to define contracts for overloaded methods and constructors.

A package with a minor bug fix has been released.
Please see the download pages.

C4J is now combining contracts on the same inheritance level, i.e. if a class defines contracts for a method a(), and an interface this class implements also defines a contract for method a(), the two contracts are AND'ed together.
Note: It only works on pre conditions for now, class invariants and post conditions will come later.

Bug fix release 2.5.2 is now available for download, see release notes for information.
All users are recommended to upgrade to this release.