org.checkerframework.checker.index.qual
public @Interface LowerBoundUnknown
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:TYPE_USE, TYPE_PARAMETER
- @SubtypeOf
- @DefaultQualifierInHierarchy
- @InvisibleQualifier
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf
The annotated expression evaluates to value that might be -2 or lower. This is the top type for
the Lower Bound type system. It should not have to be written by a programmer.
