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