SpringContracts 0.3下载地址

工具，以帮助您与您的开发。

SpringContracts是一个基于Java的开发工具，这将有助于您设计的无缝集成到了Spring框架的合同，根据注释，AOP和可插入的规范语言（支持表达式语言（EL）与扩展的，Groovy，OGNL的神器出山:www.shenqi73.com盒）。

下面是一些主要特点“SpringContracts”：

·让你的的自由对notate合同 - 的先决条件，后置条件和不变量 - 以灵活的方式。
·（基于上注解或由外部乐谱）
·通过Spring的应用程序上下文，允许您配置的行为，合同生效。
·提供了一个可插拔的方式来切换所使用的语言来形容的条件。
·构建表达式语言（EL下议院）由于一阶逻辑的扩展支持
·（所有quantor，存在quantor，隐含的）

要求：

·的Java