checkers.nullness.quals
Annotation Type Pure

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

Indicates that if the method is a pure method, so calling it with the same parameters would yield the same results. The method should not have any visible side-effect, and non-visible side-effects (e.g. caching) are possible. TODO: Consider moving Pure to core quals instead of nullness.