Uses of Annotation Type
org.checkerframework.framework.qual.PolymorphicQualifier

Packages that use PolymorphicQualifier

Package	Description
org.checkerframework.checker.fenum.qual
org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.index.qual
org.checkerframework.checker.interning.qual
org.checkerframework.checker.mustcall.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.qual
org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units.qual
org.checkerframework.common.initializedfields.qual
org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.value.qual

Uses of PolymorphicQualifier in org.checkerframework.checker.fenum.qual

Classes in org.checkerframework.checker.fenum.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyFenum	A polymorphic qualifier for the fake enum type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.guieffect.qual

Classes in org.checkerframework.checker.guieffect.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyUI	Annotation for the polymorphic-UI effect.

Uses of PolymorphicQualifier in org.checkerframework.checker.index.qual

Classes in org.checkerframework.checker.index.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyIndex	A polymorphic qualifier for the Lower Bound and Upper Bound type systems.
@interface	PolyLength	Syntactic sugar for both @PolyValue and @PolySameLen.
@interface	PolyLowerBound	A polymorphic qualifier for the Lower Bound type system.
@interface	PolySameLen	A polymorphic qualifier for the SameLen type system.
@interface	PolyUpperBound	A polymorphic qualifier for the Upper Bound type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.interning.qual

Classes in org.checkerframework.checker.interning.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyInterned	A polymorphic qualifier for the Interning type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.mustcall.qual

Classes in org.checkerframework.checker.mustcall.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyMustCall	The polymorphic qualifier for the Must Call type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyKeyFor	A polymorphic qualifier for the Map Key (@KeyFor) type system.
@interface	PolyNull	A polymorphic qualifier for the non-null type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.optional.qual

Classes in org.checkerframework.checker.optional.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyPresent	A polymorphic qualifier for the Optional type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.regex.qual

Classes in org.checkerframework.checker.regex.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyRegex	A polymorphic qualifier for the Regex type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.signature.qual

Classes in org.checkerframework.checker.signature.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolySignature	A polymorphic qualifier for the Signature type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.signedness.qual

Classes in org.checkerframework.checker.signedness.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolySigned	A polymorphic qualifier for the signedness type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.tainting.qual

Classes in org.checkerframework.checker.tainting.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyTainted	A polymorphic qualifier for the Tainting type system.

Uses of PolymorphicQualifier in org.checkerframework.checker.units.qual

Classes in org.checkerframework.checker.units.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyUnit	A polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.

Uses of PolymorphicQualifier in org.checkerframework.common.initializedfields.qual

Classes in org.checkerframework.common.initializedfields.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyInitializedFields	Polymorphic qualifier for the Initialized Fields type system.

Uses of PolymorphicQualifier in org.checkerframework.common.returnsreceiver.qual

Classes in org.checkerframework.common.returnsreceiver.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	This	Write @This on the return type of a method that always returns its receiver ( this).

Uses of PolymorphicQualifier in org.checkerframework.common.value.qual

Classes in org.checkerframework.common.value.qual with annotations of type PolymorphicQualifier

Modifier and Type	Class	Description
@interface	PolyValue	A polymorphic qualifier for the Constant Value Checker.