Class InferredValue.InferredType
- java.lang.Object
-
- org.checkerframework.framework.util.typeinference.solver.InferredValue
-
- org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredType
-
- Enclosing class:
- InferredValue
public static class InferredValue.InferredType extends 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
Fields Modifier and Type Field Description AnnotatedTypeMirror
type
-
Constructor Summary
Constructors Constructor Description InferredType(AnnotatedTypeMirror type)
-
-
-
Field Detail
-
type
public final AnnotatedTypeMirror type
-
-
Constructor Detail
-
InferredType
public InferredType(AnnotatedTypeMirror type)
-
-