org.checkerframework.framework.util.typeinference.solver

Class InferredValue

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.InferredValue

Direct Known Subclasses:

InferredValue.InferredTarget, InferredValue.InferredType

public class InferredValue
extends Object

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

Nested Classes

Modifier and Type	Class and Description
static class	InferredValue.InferredTarget Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations.
static class	InferredValue.InferredType Indicates that a corresponding target was inferred to be the field "type" in all hierarchies.

Constructor Summary

Constructors

Constructor and Description
InferredValue()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

InferredValue

public InferredValue()