| Annotation Type | Description |
|---|---|
| ArrayLen |
An annotation indicating the length of an array.
|
| 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.
|
| IntRange |
An expression with this type evaluates to an integral value (byte, short, char, int, or long) in
the given range.
|
| IntVal |
An annotation indicating the possible values for a byte, short, char, int, or long type.
|
| 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.
|