Package org.jmlspecs.annotation

Annotation Interface Pure

@Documented
@Retention(RUNTIME)
@Target(METHOD)
public @interface Pure