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
Set<AnnotationMirror>	additionalAnnotations
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 Set<AnnotationMirror> additionalAnnotations

Constructor Detail

InferredTarget

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