public class DefaultInferredTypesApplier extends Object
Modifier and Type | Class and Description |
---|---|
protected static class |
DefaultInferredTypesApplier.InferredTypeApplyingVisitor
Traverses type pairs, copies the annotations from the first type to the second (inferred type)
Traversal is necessary to add annotations to the bounds of wildcards and type variables when the
type to annotate is a wildcard or type variable.
|
Constructor and Description |
---|
DefaultInferredTypesApplier() |
DefaultInferredTypesApplier(boolean omitSubtypingCheck) |
Modifier and Type | Method and Description |
---|---|
void |
applyInferredType(QualifierHierarchy qualifierHierarchy,
AnnotatedTypeMirror type,
AnnotatedTypeMirror inferred)
For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to
type.
|
public DefaultInferredTypesApplier()
public DefaultInferredTypesApplier(boolean omitSubtypingCheck)
public void applyInferredType(QualifierHierarchy qualifierHierarchy, AnnotatedTypeMirror type, AnnotatedTypeMirror inferred)
type
- the type to which annotations are being appliedinferred
- the type inferred by data flow