org.checkerframework.dataflow.constantpropagation

Classes

• Constant
• ConstantPropagationStore
• ConstantPropagationTransfer

Enums

• Constant.Type