Class DefaultInferredTypesApplier
java.lang.Object
org.checkerframework.framework.type.DefaultInferredTypesApplier
Utility class for applying the annotations inferred by dataflow to a given type.
-
Constructor Summary
ConstructorsConstructorDescriptionDefaultInferredTypesApplier(boolean omitSubtypingCheck, QualifierHierarchy hierarchy, AnnotatedTypeFactory factory) DefaultInferredTypesApplier(QualifierHierarchy hierarchy, AnnotatedTypeFactory factory) -
Method Summary
Modifier and TypeMethodDescriptionvoidapplyInferredType(AnnotatedTypeMirror type, AnnotationMirrorSet inferredSet, TypeMirror inferredTypeMirror) For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.
-
Constructor Details
-
DefaultInferredTypesApplier
-
DefaultInferredTypesApplier
public DefaultInferredTypesApplier(boolean omitSubtypingCheck, QualifierHierarchy hierarchy, AnnotatedTypeFactory factory)
-
-
Method Details
-
applyInferredType
public void applyInferredType(AnnotatedTypeMirror type, AnnotationMirrorSet inferredSet, TypeMirror inferredTypeMirror) For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.- Parameters:
type- the type to which annotations are being appliedinferredSet- the type inferred by data flowinferredTypeMirror- underlying inferred type
-