org.checkerframework.framework.type

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 and Description
DefaultInferredTypesApplier(boolean omitSubtypingCheck, QualifierHierarchy hierarchy, AnnotatedTypeFactory factory)
DefaultInferredTypesApplier(QualifierHierarchy hierarchy, AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
void	applyInferredType(AnnotatedTypeMirror type, java.util.Set<javax.lang.model.element.AnnotationMirror> inferredSet, javax.lang.model.type.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 Detail

DefaultInferredTypesApplier

public DefaultInferredTypesApplier(QualifierHierarchy hierarchy,
                                   AnnotatedTypeFactory factory)

DefaultInferredTypesApplier

public DefaultInferredTypesApplier(boolean omitSubtypingCheck,
                                   QualifierHierarchy hierarchy,
                                   AnnotatedTypeFactory factory)

Method Detail

applyInferredType

public void applyInferredType(AnnotatedTypeMirror type,
                              java.util.Set<javax.lang.model.element.AnnotationMirror> 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 applied

inferredSet - the type inferred by data flow

inferredTypeMirror - underlying inferred type