Package 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	Description
final AnnotatedTypeMirror	type

Constructor Summary

Constructors

Constructor	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 Details

type

public final AnnotatedTypeMirror type

Constructor Details

InferredType

public InferredType(AnnotatedTypeMirror type)