Uses of Package
org.checkerframework.framework.qual
-
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.calledmethods.qual Class Description ConditionalPostconditionAnnotation A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifierIf
orEnsuresQualifierIf.List
.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.PostconditionAnnotation 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
.PreconditionAnnotation A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.QualifierArgument An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.compilermsgs.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.fenum.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.formatter.qual Class Description AnnotatedFor Indicates that this class has been annotated for the given type system.DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.guieffect.qual Class Description DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf 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.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.i18nformatter.qual Class Description AnnotatedFor Indicates that this class has been annotated for the given type system.DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.index.qual Class Description ConditionalPostconditionAnnotation A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifierIf
orEnsuresQualifierIf.List
.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.JavaExpression An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.PostconditionAnnotation 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
.QualifierArgument An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.initialization.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.interning.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf 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.qual Class Description ConditionalPostconditionAnnotation A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifierIf
orEnsuresQualifierIf.List
.DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.JavaExpression An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.PostconditionAnnotation 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
.PreconditionAnnotation A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced.UpperBoundFor A meta-annotation applied to the declaration of a type qualifier. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.mustcall.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.JavaExpression An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf 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.qual Class Description ConditionalPostconditionAnnotation A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifierIf
orEnsuresQualifierIf.List
.DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.JavaExpression An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.MonotonicQualifier A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifierT
to another qualifierS
.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.PostconditionAnnotation 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
.PreconditionAnnotation A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version ofRequiresQualifier
.QualifierArgument An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced.UpperBoundFor A meta-annotation applied to the declaration of a type qualifier. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.optional.qual Class Description DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf 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.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.regex.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.signature.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.signedness.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced.UpperBoundFor A meta-annotation applied to the declaration of a type qualifier. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.checker.tainting.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf 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.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.aliasing.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf 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.qual Class Description DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.PostconditionAnnotation 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
.QualifierArgument An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.reflection.qual Class Description DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.returnsreceiver.qual Class Description DefaultFor A meta-annotation applied to the declaration of a type qualifier.DefaultQualifierInHierarchy 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.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.QualifierForLiterals A meta-annotation that indicates what qualifier should be given to literals.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.subtyping.qual Class Description InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.common.util.report.qual Class Description DefaultQualifierInHierarchy 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.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.SubtypeOf 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.qual Class Description ConditionalPostconditionAnnotation A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version ofEnsuresQualifierIf
orEnsuresQualifierIf.List
.DefaultQualifierInHierarchy 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.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.PolymorphicQualifier A meta-annotation that indicates that an annotation is a polymorphic type qualifier.QualifierArgument An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TargetLocations NOTE: This meta-annotation is not currently enforced. -
Classes in org.checkerframework.framework.qual used by org.checkerframework.framework.qual Class Description AnnotatedFor Indicates that this class has been annotated for the given type system.DefaultQualifier Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.DefaultQualifierInHierarchy 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.EnsuresQualifier A postcondition annotation to indicate that a method ensures that certain expressions have a certain type qualifier once the method has successfully terminated.EnsuresQualifierIf A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has terminated, and if the result is as indicated byresult
.InheritedAnnotation A meta-annotation that specifies if a declaration annotation should be inherited.InvisibleQualifier A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.LiteralKind Specifies kinds of literal trees.RequiresQualifier A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the method.SubtypeOf A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.TypeKind Specifies kinds of types.TypeUseLocation Specifies the locations to which aDefaultQualifier
annotation applies.