Uses of Class
org.checkerframework.framework.qual.PolymorphicQualifier
-
-
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.
-