org.checkerframework.framework.util.typeinference.solver

Class InferredValue.InferredTarget

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.InferredValue

org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredTarget

Enclosing class:

InferredValue

public static class InferredValue.InferredTarget
extends InferredValue

Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.util.typeinference.solver.InferredValue

InferredValue.InferredTarget, InferredValue.InferredType

Field Summary

Fields

Modifier and Type	Field and Description
AnnotationMirrorSet	additionalAnnotations Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.
TypeVariable	target

Constructor Summary

Constructors

Constructor and Description
InferredTarget(TypeVariable target, Collection<? extends AnnotationMirror> additionalAnnotations)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

target

public final TypeVariable target

additionalAnnotations

public final AnnotationMirrorSet additionalAnnotations

Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.

Constructor Detail

InferredTarget

public InferredTarget(TypeVariable target,
                      Collection<? extends AnnotationMirror> additionalAnnotations)