Package 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	Description
final AnnotationMirrorSet	additionalAnnotations	Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.
final TypeVariable	target

Constructor Summary

Constructors

Constructor	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 Details

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 Details

InferredTarget

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