Uses of Annotation Interface
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.nonempty.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.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	EnsuresCalledMethods	Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.
static @interface	EnsuresCalledMethods.List	A wrapper annotation that makes the EnsuresCalledMethods annotation repeatable.
@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 the EnsuresCalledMethodsIf annotation repeatable.
@interface	EnsuresCalledMethodsOnException	Indicates that the method, if it terminates by throwing an Exception, always invokes the given methods on the given expressions.
static @interface	EnsuresCalledMethodsOnException.List	A wrapper annotation that makes the EnsuresCalledMethodsOnException 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 the EnsuresLTLengthOf 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 the EnsuresLTLengthOfIf 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 like compareTo() or compare().
@interface	EqualsMethod	Method declaration annotation that indicates a method has a specification like equals().
@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 the EnsuresLockHeld 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 the EnsuresLockHeldIf 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 the CreatesMustCallFor annotation repeatable.

Uses of InheritedAnnotation in org.checkerframework.checker.nonempty.qual

Classes in org.checkerframework.checker.nonempty.qual with annotations of type InheritedAnnotation

Modifier and Type	Class	Description
@interface	EnsuresNonEmpty	Indicates that a particular expression evaluates to a non-empty value, if the method terminates successfully.
@interface	EnsuresNonEmptyIf	Indicates that the specified expressions are non-empty, if the method returns the given result (either true or false).

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 the EnsuresKeyFor 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 the EnsuresKeyForIf 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 the EnsuresNonNull 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 the EnsuresNonNullIf annotation repeatable.

Uses of InheritedAnnotation in org.checkerframework.checker.optional.qual

Classes in org.checkerframework.checker.optional.qual with annotations of type InheritedAnnotation

Modifier and Type	Class	Description
@interface	EnsuresPresent	Indicates that the expression evaluates to a present Optional, if the method terminates successfully.
@interface	EnsuresPresentIf	Indicates that the given expressions of type Optional<T> are present, if the method returns the given result (either true or false).
@interface	OptionalCreator	A method annotation for methods that create an Optional.
@interface	OptionalEliminator	A method annotation for methods whose receiver is an Optional and that return a non-Optional value.
@interface	OptionalPropagator	A method annotation for methods whose receiver is an Optional and that return an Optional.

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 the EnsuresInitializedFields 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 the EnsuresMinLenIf 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	DoesNotUnrefineReceiver	At a call to a side-effecting method, the framework ordinarily discards all refined type information, since the side-effecting method might invalidate that information.
@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 the EnsuresQualifier 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 by result.
static @interface	EnsuresQualifierIf.List	A wrapper annotation that makes the EnsuresQualifierIf annotation repeatable.