org.checkerframework.qualframework.poly

Interfaces

• CombiningOperation
• QualifierParameterAnnotationConverter

Classes

• AnnotationConverterConfiguration
• CombiningOperation.Glb
• CombiningOperation.Lub
• ContainmentHierarchy
• PolyQual
• PolyQual.Combined
• PolyQual.GroundQual
• PolyQual.QualVar
• PolyQualHierarchy
• QualifiedParameterTypeVariableSubstitutor
• QualifierParameterChecker
• QualifierParameterHierarchy
• QualifierParameterTreeAnnotator
• QualifierParameterTypeAnnotator
• QualifierParameterTypeFactory
• QualParams
• SimpleQualifierParameterAnnotationConverter
• Wildcard