Tuesday, April 17, 2007

Spring SpringContracts Design By Contract

  SpringContracts

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.
    (based on Annotations or by an external Notation)




  • 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 build in support for Expression Language (Commons EL) with
    extensions due to first order logic
    (all quantor, exist quantor, implication)
 powered by clipmarksblog it

0 comments: