Package ch.usi.si.codelounge.jsicko

Annotation Type Contract.Pure

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

Declares the method as pure, so that it can be used as a clause in contract annotations.