SpringContractsA tool to help you with your development. | |
Download |
SpringContracts Ranking & Summary
Advertisement
- 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