Name | Description | Type | Package | Framework |
Constant | Class | org.checkerframework.dataflow.constantpropagation | Checker | |
Constant .Type | Returns the enum constant of this type with the specified name. | Class | org.checkerframework.dataflow.constantpropagation | Checker |
ConstantPropagationStore | Class | org.checkerframework.dataflow.constantpropagation | Checker | |
ConstantPropagationTransfer | Class | org.checkerframework.dataflow.constantpropagation | Checker | |