ContractChecker-开源

ContractChecker是一个小型工具，可通过合同功能为标准Java代码提供对某些设计的支持。 在内部，它由一个Ant任务组成，该任务调用一个doclet来生成AspectJ和AjcTask本身以对其进行编译。