Class InferredValue
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.solver.InferredValue
-
- Direct Known Subclasses:
InferredValue.InferredTarget
,InferredValue.InferredType
public class InferredValue extends java.lang.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 Summary
Nested Classes Modifier and Type Class Description static class
InferredValue.InferredTarget
Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations.static class
InferredValue.InferredType
Indicates that a corresponding target was inferred to be the field "type" in all hierarchies.
-
Constructor Summary
Constructors Constructor Description InferredValue()
-