org.jmlspecs.annotation

Annotation Type Pure

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