开发者 traction.sf.net

Java 1.5 的按合同设计 （DBC） 框架，它使用注释声明先决条件、后置条件等。与其他按合同设计框架不同，无需预编译，使代码跨生成系统、I代和平台可移植