Annotation Type Pure

Pure is a method annotation that means both SideEffectFree and Deterministic. The more important of these, when performing pluggable type-checking, is usually SideEffectFree.

For a discussion of the meaning of Pure on a constructor, see the documentation of Deterministic.

This annotation is inherited by subtypes, just as if it were meta-annotated with @InheritedAnnotation.

See the Checker Framework Manual:
Side effects, determinism, purity, and flow-sensitive analysis
  • Nested Class Summary

    Nested Classes
    Modifier and Type
    static enum 
    The type of purity.