Contract4J契约式设计工具认领

Contract4J，这是契约式设计的工具，它用 Java ™ 5 标注（annotation）指定合约，并在运行时用 AspectJ 方面计算合约。