Annotation Type Pure

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.