Uses of Class
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 tonull
. -
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.
-