Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.qualframework.base Classes and Interfaces - 43 results found.
NameDescriptionTypePackageFramework
AnnotationConverterDefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers.Interfaceorg.checkerframework.qualframework.baseChecker
CheckerMain entry point for a pluggable type system.Classorg.checkerframework.qualframework.baseChecker
CheckerAdapterAdapter class for Checker, extending org.Classorg.checkerframework.qualframework.baseChecker
DefaultQualFormatterDefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual.Classorg.checkerframework.qualframework.base.formatChecker
DefaultQualifiedTypeFactoryDefault implementation of QualifiedTypeFactory.Classorg.checkerframework.qualframework.baseChecker
DefaultQualifiedTypeFormatterDefaultQualifiedTypeFormatter formats QualifiedTypeMirrors into Strings.Classorg.checkerframework.qualframework.base.formatChecker
DefaultTypeHierarchyDefault implementation of TypeHierarchy.Classorg.checkerframework.qualframework.baseChecker
QualAnalysisCheckers should extend a QualAnalysis to customize the TransferFunction for their checker.Classorg.checkerframework.qualframework.base.dataflowChecker
QualFormatterQual to String formatter.Interfaceorg.checkerframework.qualframework.base.formatChecker
QualifiedTypeFactoryUsed to compute the qualified type of a Tree or Element.Interfaceorg.checkerframework.qualframework.baseChecker
QualifiedTypeFormatterInterface to format a QualifiedTypeMirrors or an individual qualifier.Interfaceorg.checkerframework.qualframework.base.formatChecker
QualifiedTypeMirrorA ExtendedTypeMirror with a qualifier for the top level and for each component of the type.Classorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedArrayTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedDeclaredTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedExecutableTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedIntersectionTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedNoTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedNullTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedParameterDeclarationClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedPrimitiveTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedTypeDeclarationClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedTypeVariableClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedUnionTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeMirror .QualifiedWildcardTypeClassorg.checkerframework.qualframework.baseChecker
QualifiedTypeParameterBoundsA pair of the qualified upper and lower bound types for a type parameter.Classorg.checkerframework.qualframework.baseChecker
QualifiedTypesHelper functions for various manipulations of QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseChecker
QualifiedTypeVisitorA visitor for QualifiedTypeMirrors, patterned after TypeVisitor.Interfaceorg.checkerframework.qualframework.baseChecker
QualifierHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers.Interfaceorg.checkerframework.qualframework.baseChecker
QualifierMapVisitorVisitor that maps a function over every qualifier in a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
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
SetQualifierVisitorVisitor that replaces the qualifier of a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
SimpleQualifiedTypeVisitorA simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8.Classorg.checkerframework.qualframework.baseChecker
TreeAnnotatorClassorg.checkerframework.qualframework.baseChecker
TypeAnnotatorDefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers.Classorg.checkerframework.qualframework.baseChecker
TypecheckVisitorAdapterThis class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.qualframework.baseChecker
TypeHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseChecker
TypeMirrorConverterHelper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
TypeMirrorConverter .KeyClassorg.checkerframework.qualframework.baseChecker
TypeVariableSubstitutorTypeVariableSubstitutor replaces type variables from a declaration with arguments to its use.Classorg.checkerframework.qualframework.baseChecker
TypeVariableSubstitutorAdapterClassorg.checkerframework.qualframework.baseChecker