jcontract-开源

一种用于提高Java应用程序质量的工具。 它允许程序员按合同使用设计，并在相关的类中定义其他开发方面，如JavaDoc注释。 它是AspectJ和xDoclet的结合。