| Annotation Type | Description |
|---|---|
| ArrayLen |
An annotation indicating the length of an array or a string.
|
| ArrayLenRange |
An expression with this type evaluates to an array or a string whose length is in the given
range.
|
| BoolVal |
An annotation indicating the possible values for a bool type.
|
| BottomVal |
The bottom type in the Constant Value type system.
|
| DoubleVal |
An annotation indicating the possible values for a double or float type.
|
| EnsuresMinLenIf |
Indicates that the value of the given expression is a sequence containing at least the given
number of elements, if the method returns the given result (either true or false).
|
| EnsuresMinLenIf.List |
A wrapper annotation that makes the
EnsuresMinLenIf annotation repeatable. |
| EnumVal |
An annotation indicating the possible values for an enum type.
|
| IntRange |
An expression with this type evaluates to an integral value (byte, short, char, int, or long) in
the given range.
|
| IntRangeFromGTENegativeOne |
An expression with this type is exactly the same as an
IntRange annotation whose from field is -1 and whose to field is Integer.MAX_VALUE. |
| IntRangeFromNonNegative |
An expression with this type is exactly the same as an
IntRange annotation whose from field is 0 and whose to field is Integer.MAX_VALUE. |
| IntRangeFromPositive |
An expression with this type is exactly the same as an
IntRange annotation whose from field is 1 and whose to field is Integer.MAX_VALUE. |
| IntVal |
An annotation indicating the possible values for a byte, short, char, int, or long type.
|
| MatchesRegex |
An annotation indicating the possible values for a String type.
|
| MinLen |
The value of the annotated expression is a sequence containing at least the given number of
elements.
|
| MinLenFieldInvariant |
A specialization of
FieldInvariant for specifying the minimum length of an array. |
| PolyValue |
A polymorphic qualifier for the Constant Value Checker.
|
| StaticallyExecutable |
StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run
the method at compile time, if all of the method's arguments are compile-time constants.
|
| StringVal |
An annotation indicating the possible values for a String type.
|
| UnknownVal |
UnknownVal is a type annotation indicating that the expression's value is not known at compile
type.
|