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 multiple times with the same arguments yields the same results.

The method should not have any visible side-effect. Non-visible benevolent side effects (e.g., caching) are possible. TODO: Consider moving Pure to core quals instead of nullness.