A Design by Contract extension to Java using annotations and AspectJ.
Contracts are added to Java code by using standard annotations.
An annotation processor plugs into javac transparently, just by being placed in the classpath, and translates contracts into aspects.
没有任何数据可供显示
