org.checkerframework.framework.util.typeinference.solver

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 and Description
AnnotatedTypeMirror	type

Constructor Summary

Constructors

Constructor and Description
InferredType(AnnotatedTypeMirror type)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

type

public final AnnotatedTypeMirror type

Constructor Detail

InferredType

public InferredType(AnnotatedTypeMirror type)