Search Java Classes and Packages
#Org.checkerframework.qualframework.poly Classes and Interfaces - 27 results found.
| Name | Description | Type | Package | Framework |
| AnnotationConverterConfiguration | Plain old java object to help configure SimpleQualifierParameterAnnotationConverter. | Class | org.checkerframework.qualframework.poly | Checker |
| CombiningOperation | A binary operation for combining qualifiers of type Q. | Interface | org.checkerframework.qualframework.poly | Checker |
| CombiningOperation .Glb | The greatest-lower-bound operation over a qualifier hierarchy. | Class | org.checkerframework.qualframework.poly | Checker |
| CombiningOperation .Lub | The least-upper-bound operation over a qualifier hierarchy. | Class | org.checkerframework.qualframework.poly | Checker |
| ContainmentHierarchy | Class | org.checkerframework.qualframework.poly | Checker | |
| PolyQual | A qualifier in the qualifier polymorphism system, with ground qualifier representation Q. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyQual .Combined | A combination of several qualifiers and qualifier variables, using a combining function. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyQual .GroundQual | A wrapped qualifier from the underlying system. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyQual .QualVar | A qualifier variable. | Class | org.checkerframework.qualframework.poly | Checker |
| PolyQualHierarchy | A qualifier hierarchy for PolyQual instances. | Class | org.checkerframework.qualframework.poly | Checker |
| PrettyQualifiedTypeFormatter | PrettyQualifiedTypeFormatter formats QualifiedTypeMirrors with QualParams qualifiers PrettyQualifiedTypeFormatter prints the primary qualifier of a QualParams before a | Class | org.checkerframework.qualframework.poly.format | Checker |
| PrettyQualParamsFormatter | Class | org.checkerframework.qualframework.poly.format | Checker | |
| QualifiedParameterTypeVariableSubstitutor | TypeVariableSubstitutor that handles the qualifier parameter specific logic or combining TypeVariable uses with substituted types. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterAnnotationConverter | An AnnotationConverter that can also find the names of all declared parameters on a class or method. | Interface | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterChecker | QualifierParameterChecker extends Checker to configure QualifiedTypeFormatters specific to QualParams qualifiers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterHierarchy | This class provides a QualifierHierarchy implementation for sets of qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTreeAnnotator | TreeAnnotator instance for qualifier parameter checkers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTypeAnnotator | TypeAnnotator implementation for qualifier parameter checkers. | Class | org.checkerframework.qualframework.poly | Checker |
| QualifierParameterTypeFactory | Type factory with qualifier polymorphism support. | Class | org.checkerframework.qualframework.poly | Checker |
| QualParams | A map of qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| QualParamsFormatter | A QualFormatter with extra methods to format QualParams. | Interface | org.checkerframework.qualframework.poly.format | Checker |
| SimpleQualifierParameterAnnotationConverter | SimpleQualifierParameterAnnotationConverter abstracts the logic to convert annotations to qualifiers for typical qual-poly types systems that that support @Wild, @Var, and qualifier parameters. | Class | org.checkerframework.qualframework.poly | Checker |
| SurfaceSyntaxFormatterConfiguration | SurfaceSyntaxFormatterConfiguration provides values and methods required by the SurfaceSyntaxQualParamsFormatter to format a QualParams into an annotation. | Class | org.checkerframework.qualframework.poly.format | Checker |
| SurfaceSyntaxQualParamsFormatter | SurfaceSyntaxQualParamsFormatter formats QualParams qualifiers into their annotation equivalent. | Class | org.checkerframework.qualframework.poly.format | Checker |
| SurfaceSyntaxQualParamsFormatter .AnnotationParts | Object to generate an annotation String from an Annotation name and a map of values. | Class | org.checkerframework.qualframework.poly.format | Checker |
| Wildcard | When using SimpleQualifierParameterAnnotationConverter, this enum allows specifying super and extends bounds, e. | Class | org.checkerframework.qualframework.poly.qual | Checker |
| Wildcard | A qualifier wildcard, bounded above and below by PolyQuals. | Class | org.checkerframework.qualframework.poly | Checker |