Class InferredValue.InferredTarget
java.lang.Object
org.checkerframework.framework.util.typeinference.solver.InferredValue
org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredTarget
- Enclosing class:
- 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
Modifier and TypeFieldDescriptionfinal AnnotationMirrorSet
Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.final TypeVariable
-
Constructor Summary
ConstructorDescriptionInferredTarget
(TypeVariable target, Collection<? extends AnnotationMirror> additionalAnnotations) -
Method Summary
-
Field Details
-
target
-
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)
-