Search Java Classes and Packages
#Org.checkerframework.dataflow.util Classes and Interfaces - 7 results found.
| Name | Description | Type | Package | Framework |
| HashCodeUtils | Utility class to implement the hashCode method. | Class | org.checkerframework.dataflow.util | Checker |
| MostlySingleton | A set that is more efficient than HashSet for 0 and 1 elements. | Class | org.checkerframework.dataflow.util | Checker |
| NodeUtils | A utility class to operate on a given Node. | Class | org.checkerframework.dataflow.util | Checker |
| PurityChecker | A visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression. | Class | org.checkerframework.dataflow.util | Checker |
| PurityChecker .PurityCheckerHelper | Helper class to keep PurityChecker's interface clean. | Class | org.checkerframework.dataflow.util | Checker |
| PurityChecker .PurityResult | Result of the PurityChecker. | Class | org.checkerframework.dataflow.util | Checker |
| PurityUtils | An utility class for working with the SideEffectFree, Deterministic, and Pure annotations. | Class | org.checkerframework.dataflow.util | Checker |