Name | Description | Type | Package | Framework |
ArrayLen | An annotation indicating the length of an array type. | Class | org.checkerframework.common.value.qual | Checker |
BoolVal | An annotation indicating the possible values for a bool type. | Class | org.checkerframework.common.value.qual | Checker |
BottomVal | Class | org.checkerframework.common.value.qual | Checker | |
DoubleVal | An annotation indicating the possible values for a double or float type. | Class | org.checkerframework.common.value.qual | Checker |
IntVal | An annotation indicating the possible values for a byte, short, char, If an expression's type has this annotation, then at run time, the | Class | org.checkerframework.common.value.qual | Checker |
StaticallyExecutable | StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of | Class | org.checkerframework.common.value.qual | Checker |
StringVal | An annotation indicating the possible values for a String type. | Class | org.checkerframework.common.value.qual | Checker |
UnknownVal | Class | org.checkerframework.common.value.qual | Checker | |