Annotation Type Pure

@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) public @interface 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.

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static enum 
    Pure.Kind
    The type of purity.