Search Java Classes and Packages
#Org.checkerframework.common.value Classes and Interfaces - 23 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 | |
| ByteMath | Class | org.checkerframework.common.value.util | Checker | |
| DoubleMath | Class | org.checkerframework.common.value.util | Checker | |
| DoubleVal | An annotation indicating the possible values for a double or float type. | Class | org.checkerframework.common.value.qual | Checker |
| FloatMath | Class | org.checkerframework.common.value.util | Checker | |
| IntegerMath | Class | org.checkerframework.common.value.util | 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 |
| LongMath | Class | org.checkerframework.common.value.util | Checker | |
| NumberMath | Class | org.checkerframework.common.value.util | Checker | |
| NumberUtils | Class | org.checkerframework.common.value.util | Checker | |
| Operators | This file contains methods that simulate the functions of the Binary and Unary operators in java (e. | Class | org.checkerframework.common.value | Checker |
| ReflectiveEvalutator | Class | org.checkerframework.common.value | Checker | |
| ShortMath | Class | org.checkerframework.common.value.util | 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 | |
| ValueAnnotatedTypeFactory | Class | org.checkerframework.common.value | Checker | |
| ValueChecker | Class | org.checkerframework.common.value | Checker | |
| ValueCheckerUtils | Class | org.checkerframework.common.value | Checker | |
| ValueTransfer | Class | org.checkerframework.common.value | Checker | |
| ValueVisitor | Visitor for the Constant Value type-system. | Class | org.checkerframework.common.value | Checker |