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 AnnotationMirrorSet
additionalAnnotations
Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.javax.lang.model.type.TypeVariable
target
-
Constructor Summary
Constructors Constructor Description InferredTarget(javax.lang.model.type.TypeVariable target, java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> additionalAnnotations)
-
-
-
Field Detail
-
target
public final javax.lang.model.type.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.
-
-