Package ch.usi.si.codelounge.jsicko

Annotation Type Contract.Invariant

@Target(METHOD)
public static @interface Contract.Invariant

Declares the method as specifying a class invariant.