(Available since v1.1)
Class-level annotation that identifies the class as a class subject to design by contract. This has several consequences:
In order to work properly, this annotation requires that AspectJ be enabled in your project, as described here.
Javadoc Ref : 
@DBC
@DBC
public class MyClass {
...
@Require("__this.y == 8")
public int sum(int a, @MinInclusive(3) int b) {
return a +b;
}
...
}