Package org.checkerframework.framework.type

Class DefaultInferredTypesApplier

java.lang.Object

org.checkerframework.framework.type.DefaultInferredTypesApplier

public class DefaultInferredTypesApplier
extends 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 factory)
DefaultInferredTypesApplier(QualifierHierarchy hierarchy, AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method	Description
void	applyInferredType(AnnotatedTypeMirror type, AnnotationMirrorSet inferredSet, TypeMirror inferredTypeMirror)	For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultInferredTypesApplier

public DefaultInferredTypesApplier(QualifierHierarchy hierarchy,
 AnnotatedTypeFactory factory)

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 applied

inferredSet - the type inferred by data flow

inferredTypeMirror - underlying inferred type