Search Java Classes and Packages
#Org.checkerframework.common.value.qual Classes and Interfaces - 8 results found.
| 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 | |