public class InferredValue extends Object
When one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchies then it creates an InferredValue to represent this inference.
There are subclasses to represent two cases:
- The target was inferred to be an AnnotatedTypeMirror
- The target was inferred to be equal to another target
Nested Class SummaryModifier and TypeClassDescription
static classIndicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations.
static classIndicates that a corresponding target was inferred to be the field "type" in all hierarchies.