SpringContracts is a Java Solution for Design By Contract with seamless integration into the Spring Framework.

Main Features

* Gives you the freedom to notate Contracts - Preconditions, Postconditions and Invariants - in a flexible way.
* Lets you configure the behaviour of Contract Validation via Spring's Application Context.
* Provides a pluggable way to switch the Language in which to describe the conditions.
* Comes with a built-in support for Expression Language (Commons EL) with extensions due to first order logic.