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 interfacePolyFenumA 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 interfacePolyUIAnnotation 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 interfacePolyIndexA polymorphic qualifier for the Lower Bound and Upper Bound type systems.interfacePolyLengthSyntactic sugar for both @PolyValue and @PolySameLen.interfacePolyLowerBoundA polymorphic qualifier for the Lower Bound type system.interfacePolySameLenA polymorphic qualifier for the SameLen type system.interfacePolyUpperBoundA 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 interfacePolyInternedA 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 interfacePolyMustCallThe 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 interfacePolyKeyForA polymorphic qualifier for the Map Key (@KeyFor) type system.interfacePolyNullA 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 interfacePolyPresentA 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 interfacePolyRegexA 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 interfacePolySignatureA 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 interfacePolySignedA 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 interfacePolyTaintedA 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 interfacePolyUnitA 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 interfacePolyInitializedFieldsPolymorphic 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 interfaceThisWrite@Thison 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 interfacePolyValueA polymorphic qualifier for the Constant Value Checker.
-