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 |