Uses of Class
org.checkerframework.framework.qual.InheritedAnnotation
-
Packages that use InheritedAnnotation Package Description org.checkerframework.checker.calledmethods.qual org.checkerframework.checker.index.qual org.checkerframework.checker.interning.qual org.checkerframework.checker.lock.qual org.checkerframework.checker.mustcall.qual org.checkerframework.checker.nullness.qual org.checkerframework.common.initializedfields.qual org.checkerframework.common.value.qual org.checkerframework.framework.qual 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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresCalledMethodsIf
Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.static interface
EnsuresCalledMethodsIf.List
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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresLTLengthOf
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
EnsuresLTLengthOf.List
A wrapper annotation that makes theEnsuresLTLengthOf
annotation repeatable.interface
EnsuresLTLengthOfIf
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
EnsuresLTLengthOfIf.List
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 InheritedAnnotation Modifier and Type Class Description interface
CompareToMethod
Method declaration annotation that indicates a method has a specification likecompareTo()
orcompare()
.interface
EqualsMethod
Method declaration annotation that indicates a method has a specification likeequals()
.interface
InternMethod
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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresLockHeld
Indicates that the given expressions are held if the method terminates successfully.static interface
EnsuresLockHeld.List
A wrapper annotation that makes theEnsuresLockHeld
annotation repeatable.interface
EnsuresLockHeldIf
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).static interface
EnsuresLockHeldIf.List
A wrapper annotation that makes theEnsuresLockHeldIf
annotation repeatable.interface
LockingFree
The method neither acquires nor releases locks, nor do any of the methods that it calls.interface
MayReleaseLocks
The method, or one of the methods it calls, might release locks that were held prior to the method being called.interface
ReleasesNoLocks
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 InheritedAnnotation Modifier and Type Class Description interface
CreatesMustCallFor
Indicates that the method resets the expression's must-call type to its declared type.static interface
CreatesMustCallFor.List
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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresKeyFor
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
EnsuresKeyFor.List
A wrapper annotation that makes theEnsuresKeyFor
annotation repeatable.interface
EnsuresKeyForIf
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
EnsuresKeyForIf.List
A wrapper annotation that makes theEnsuresKeyForIf
annotation repeatable.interface
EnsuresNonNull
Indicates that the value expressions are non-null just after a method call, if the method terminates successfully.static interface
EnsuresNonNull.List
A wrapper annotation that makes theEnsuresNonNull
annotation repeatable.interface
EnsuresNonNullIf
Indicates that the given expressions are non-null, if the method returns the given result (either true or false).static interface
EnsuresNonNullIf.List
* 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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresInitializedFields
A method postcondition annotation indicates which fields the method definitely initializes.static interface
EnsuresInitializedFields.List
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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresMinLenIf
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
EnsuresMinLenIf.List
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 InheritedAnnotation Modifier and Type Class Description interface
EnsuresQualifier
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
EnsuresQualifier.List
A wrapper annotation that makes theEnsuresQualifier
annotation repeatable.interface
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
.static interface
EnsuresQualifierIf.List
A wrapper annotation that makes theEnsuresQualifierIf
annotation repeatable.
-