org.checkerframework.framework.qual
public @Interface PurityUnqualified
extends Annotation
- Annotations
- @Documented
- @Retention:SOURCE
- @Target:TYPE_USE, TYPE_PARAMETER
- @SubtypeOf
- @DefaultQualifierInHierarchy
- @InvisibleQualifier
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
An annotation intended solely for representing an unqualified type in the qualifier hierarchy for
the Purity Checker.
