Uses of Annotation Type
org.checkerframework.framework.qual.UpperBoundFor
Packages that use UpperBoundFor
Package
Description
-
Uses of UpperBoundFor in org.checkerframework.checker.lock.qual
Classes in org.checkerframework.checker.lock.qual with annotations of type UpperBoundForModifier and TypeClassDescription@interface
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 UpperBoundForModifier and TypeClassDescription@interface
If an expression's type is qualified by@NonNull
, then the expression never evaluates tonull
. -
Uses of UpperBoundFor in org.checkerframework.checker.signedness.qual
Classes in org.checkerframework.checker.signedness.qual with annotations of type UpperBoundFor