Uses of Annotation Type
org.checkerframework.framework.qual.PolymorphicQualifier
Packages that use PolymorphicQualifier
Package
Description
-
Uses of PolymorphicQualifier in org.checkerframework.checker.fenum.qual
Classes in org.checkerframework.checker.fenum.qual with annotations of type PolymorphicQualifierModifier and TypeClassDescription@interface
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 -
Uses of PolymorphicQualifier in org.checkerframework.checker.index.qual
Classes in org.checkerframework.checker.index.qual with annotations of type PolymorphicQualifierModifier and TypeClassDescription@interface
A polymorphic qualifier for the Lower Bound and Upper Bound type systems.@interface
Syntactic sugar for both @PolyValue and @PolySameLen.@interface
A polymorphic qualifier for the Lower Bound type system.@interface
A polymorphic qualifier for the SameLen type system.@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
A polymorphic qualifier for the Map Key (@KeyFor) type system.@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
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 PolymorphicQualifierModifier and TypeClassDescription@interface
A polymorphic qualifier for the Constant Value Checker.