Class DefaultInferredTypesApplier
- java.lang.Object
-
- org.checkerframework.framework.type.DefaultInferredTypesApplier
-
public class DefaultInferredTypesApplier extends java.lang.Object
Utility class for applying the annotations inferred by dataflow to a given type.
-
-
Constructor Summary
Constructors Constructor Description DefaultInferredTypesApplier(boolean omitSubtypingCheck, QualifierHierarchy hierarchy, AnnotatedTypeFactory atypeFactory)
DefaultInferredTypesApplier(QualifierHierarchy hierarchy, AnnotatedTypeFactory atypeFactory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
applyInferredType(AnnotatedTypeMirror type, AnnotationMirrorSet inferredSet, javax.lang.model.type.TypeMirror inferredTypeMirror)
For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.
-
-
-
Constructor Detail
-
DefaultInferredTypesApplier
public DefaultInferredTypesApplier(QualifierHierarchy hierarchy, AnnotatedTypeFactory atypeFactory)
-
DefaultInferredTypesApplier
public DefaultInferredTypesApplier(boolean omitSubtypingCheck, QualifierHierarchy hierarchy, AnnotatedTypeFactory atypeFactory)
-
-
Method Detail
-
applyInferredType
public void applyInferredType(AnnotatedTypeMirror type, AnnotationMirrorSet inferredSet, javax.lang.model.type.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
-
-