Uses of Annotation Type
org.checkerframework.framework.qual.InheritedAnnotation
Packages that use InheritedAnnotation
Package
Description
Contains the basic annotations to be used by all type systems and meta-annotations to qualify
annotations (qualifiers).
-
Uses of InheritedAnnotation in org.checkerframework.checker.calledmethods.qual
Classes in org.checkerframework.checker.calledmethods.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.static @interface
A wrapper annotation that makes theEnsuresCalledMethodsIf
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.checker.index.qual
Classes in org.checkerframework.checker.index.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.static @interface
A wrapper annotation that makes theEnsuresLTLengthOf
annotation repeatable.@interface
Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).static @interface
A wrapper annotation that makes theEnsuresLTLengthOfIf
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.checker.interning.qual
Classes in org.checkerframework.checker.interning.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Method declaration annotation that indicates a method has a specification likecompareTo()
orcompare()
.@interface
Method declaration annotation that indicates a method has a specification likeequals()
.@interface
Method declaration annotation used to indicate that this method may be invoked on an uninterned object and that it returns an interned object. -
Uses of InheritedAnnotation in org.checkerframework.checker.lock.qual
Classes in org.checkerframework.checker.lock.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the given expressions are held if the method terminates successfully.static @interface
A wrapper annotation that makes theEnsuresLockHeld
annotation repeatable.@interface
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).static @interface
A wrapper annotation that makes theEnsuresLockHeldIf
annotation repeatable.@interface
The method neither acquires nor releases locks, nor do any of the methods that it calls.@interface
The method, or one of the methods it calls, might release locks that were held prior to the method being called.@interface
The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call. -
Uses of InheritedAnnotation in org.checkerframework.checker.mustcall.qual
Classes in org.checkerframework.checker.mustcall.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the method resets the expression's must-call type to its declared type.static @interface
A wrapper annotation that makes theCreatesMustCallFor
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.checker.nullness.qual
Classes in org.checkerframework.checker.nullness.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.static @interface
A wrapper annotation that makes theEnsuresKeyFor
annotation repeatable.@interface
Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).static @interface
A wrapper annotation that makes theEnsuresKeyForIf
annotation repeatable.@interface
Indicates that the value expressions are non-null just after a method call, if the method terminates successfully.static @interface
A wrapper annotation that makes theEnsuresNonNull
annotation repeatable.@interface
Indicates that the given expressions are non-null, if the method returns the given result (either true or false).static @interface
* A wrapper annotation that makes theEnsuresNonNullIf
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.common.initializedfields.qual
Classes in org.checkerframework.common.initializedfields.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
A method postcondition annotation indicates which fields the method definitely initializes.static @interface
A wrapper annotation that makes theEnsuresInitializedFields
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.common.value.qual
Classes in org.checkerframework.common.value.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
Indicates that the value of the given expression is a sequence containing at least the given number of elements, if the method returns the given result (either true or false).static @interface
A wrapper annotation that makes theEnsuresMinLenIf
annotation repeatable. -
Uses of InheritedAnnotation in org.checkerframework.framework.qual
Classes in org.checkerframework.framework.qual with annotations of type InheritedAnnotationModifier and TypeClassDescription@interface
A postcondition annotation to indicate that a method ensures that certain expressions have a certain type qualifier once the method has successfully terminated.static @interface
A wrapper annotation that makes theEnsuresQualifier
annotation repeatable.@interface
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
.static @interface
A wrapper annotation that makes theEnsuresQualifierIf
annotation repeatable.