Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.qualframework.base.dataflow Classes and Interfaces - 5 results found.
NameDescriptionTypePackageFramework
QualAnalysisCheckers should extend a QualAnalysis to customize the TransferFunction for their checker.Classorg.checkerframework.qualframework.base.dataflowChecker
QualStoreQualStore is a Store for quals.Classorg.checkerframework.qualframework.base.dataflowChecker
QualTransferA TransferFunction for the Qual Framework.Classorg.checkerframework.qualframework.base.dataflowChecker
QualTransferAdapterQualTransferAdapter adapts the CFTransfer to a QualTransfer.Classorg.checkerframework.qualframework.base.dataflowChecker
QualValueQualValue is an AbstractValue for quals.Classorg.checkerframework.qualframework.base.dataflowChecker