SpringContracts

A tool to help you with your development.
Download

SpringContracts Ranking & Summary

Advertisement

  • Rating:
  • License:
  • Apache License 2.0
  • Publisher Name:
  • Mario Gleichmann
  • Operating Systems:
  • Windows All
  • File Size:
  • 7.3 MB

SpringContracts Tags


SpringContracts Description

SpringContracts is a Java based development tool that will help you design by contract with seamless integration into the Spring Framework, based on annotations, AOP and a pluggable specification language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box). 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)


SpringContracts Related Software