Class InferredValue.InferredType
java.lang.Object
org.checkerframework.framework.util.typeinference.solver.InferredValue
org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredType
- Enclosing class:
- InferredValue
Indicates that a corresponding target was inferred to be the field "type" in all hierarchies.
-
Nested Class Summary
Nested classes/interfaces inherited from class org.checkerframework.framework.util.typeinference.solver.InferredValue
InferredValue.InferredTarget, InferredValue.InferredType
-
Field Summary
-
Constructor Summary
-
Method Summary
-
Field Details
-
type
-
-
Constructor Details
-
InferredType
-