com.google.java.contract

Annotation Type Invariant

@Documented
@Target(value=TYPE)
@Retention(value=RUNTIME)
public @interface Invariant

Specifies class invariants that apply to the annotated type. The annotated class must guarantee its invariants.

When run time checking of contracts is enabled, class invariants are checked on entry and exit of public and package-private methods, and throw a InvariantError when they are violated.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String[]	value The list of invariant expressions that must be met by the annotated type, written as strings.

Element Detail

value

public abstract java.lang.String[] value

The list of invariant expressions that must be met by the annotated type, written as strings. The expressions must be valid Java code and can reference all things visible to the class, including private members.