Uses of Package
org.checkerframework.framework.qual
Packages that use org.checkerframework.framework.qual
Package
Description
Qualifiers for the Compiler Message Key Checker.
Contains the basic annotations to be used by all type systems and meta-annotations to qualify
annotations (qualifiers).
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.calledmethods.qualClassDescriptionA meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifier
or ofEnsuresQualifier.List
.A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.compilermsgs.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.fenum.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.formatter.qualClassDescriptionIndicates that this class has been annotated for the given type system.A meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.guieffect.qualClassDescriptionIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.i18n.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.i18nformatter.qualClassDescriptionIndicates that this class has been annotated for the given type system.A meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.index.qualClassDescriptionA meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifier
or ofEnsuresQualifier.List
.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.initialization.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.interning.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.lock.qualClassDescriptionA meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
.A meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifier
or ofEnsuresQualifier.List
.A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.A meta-annotation applied to the declaration of a type qualifier. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.mustcall.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.nullness.qualClassDescriptionA meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
.A meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifierT
to another qualifierS
.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifier
or ofEnsuresQualifier.List
.A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.A meta-annotation applied to the declaration of a type qualifier. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.optional.qualClassDescriptionIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.propkey.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.regex.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.signature.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.signedness.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.A meta-annotation applied to the declaration of a type qualifier.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.tainting.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.units.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.aliasing.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.initializedfields.qualClassDescriptionIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifier
or ofEnsuresQualifier.List
.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.reflection.qualClassDescriptionIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.returnsreceiver.qualClassDescriptionA meta-annotation applied to the declaration of a type qualifier.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation that indicates what qualifier should be given to literals.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.subtyping.qualClassDescriptionA meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.util.report.qualClassDescriptionIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.value.qualClassDescriptionA meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of
EnsuresQualifierIf
orEnsuresQualifierIf.List
.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.A meta-annotation that indicates that an annotation is a polymorphic type qualifier.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.framework.qualClassDescriptionIndicates that this class has been annotated for the given type system.Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.A meta-annotation that specifies if a declaration annotation should be inherited.A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.Specifies kinds of literal trees.A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.Specifies kinds of types.Specifies the locations to which a
DefaultQualifier
annotation applies.