org.checkerframework.common.value.qual
public @Interface BottomVal
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
- @SubtypeOf:ArrayLen, BoolVal, DoubleVal, IntVal, StringVal, MatchesRegex, DoesNotMatchRegex, ArrayLenRange, IntRange, IntRangeFromPositive, IntRangeFromGTENegativeOne, IntRangeFromNonNegative
- @InvisibleQualifier
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.InvisibleQualifier, .SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type in the Constant Value type system. Programmers should rarely write this type.
