Uses of Annotation Type
org.checkerframework.framework.qual.UpperBoundFor

Packages that use UpperBoundFor

Package	Description
org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness.qual
org.checkerframework.checker.signedness.qual

Uses of UpperBoundFor in org.checkerframework.checker.lock.qual

Classes in org.checkerframework.checker.lock.qual with annotations of type UpperBoundFor

Modifier and Type	Class	Description
@interface	GuardedBy	Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.

Uses of UpperBoundFor in org.checkerframework.checker.nullness.qual

Classes in org.checkerframework.checker.nullness.qual with annotations of type UpperBoundFor

Modifier and Type	Class	Description
@interface	NonNull	If an expression's type is qualified by @NonNull, then the expression never evaluates to null.

Uses of UpperBoundFor in org.checkerframework.checker.signedness.qual

Classes in org.checkerframework.checker.signedness.qual with annotations of type UpperBoundFor

Modifier and Type	Class	Description
@interface	Signed	The value is to be interpreted as signed.
@interface	Unsigned	The value is to be interpreted as unsigned.