Search Java Classes and Packages
#Org.checkerframework.qualframework.base.dataflow Classes and Interfaces - 5 results found.
| Name | Description | Type | Package | Framework |
| QualAnalysis | Checkers should extend a QualAnalysis to customize the TransferFunction for their checker. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualStore | QualStore is a Store for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualTransfer | A TransferFunction for the Qual Framework. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualTransferAdapter | QualTransferAdapter adapts the CFTransfer to a QualTransfer. | Class | org.checkerframework.qualframework.base.dataflow | Checker |
| QualValue | QualValue is an AbstractValue for quals. | Class | org.checkerframework.qualframework.base.dataflow | Checker |