org.checkerframework.framework.util.typeinference.solver

Class InferenceResult

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<K,V>

java.util.LinkedHashMap<TypeVariable,InferredValue>

org.checkerframework.framework.util.typeinference.solver.InferenceResult

All Implemented Interfaces:

Serializable, Cloneable, Map<TypeVariable,InferredValue>

public class InferenceResult
extends LinkedHashMap<TypeVariable,InferredValue>

Represents the result from inferring type arguments. InferenceResult is a map from: (Target type variable ⇒ inferred type or target)

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Constructor Summary

Constructors

Constructor and Description
InferenceResult()

Method Summary

Modifier and Type	Method and Description
Set<TypeVariable>	getRemainingTargets(Set<TypeVariable> allTargets, boolean inferredTypesOnly)
boolean	isComplete(Set<TypeVariable> targets)
void	mergeSubordinate(InferenceResult subordinate) Merges values in subordinate into this result, keeping the results form any type arguments that were already contained by this InferenceResult
protected InferredValue.InferredType	mergeTarget(TypeVariable target, InferenceResult subordinate) Performs a merge for a specific target, we keep only results that lead to a concrete type
void	resolveChainedTargets() If we had a set of inferred results, (e.g.
Map<TypeVariable,AnnotatedTypeMirror>	toAtmMap()

Methods inherited from class java.util.LinkedHashMap

clear, containsValue, get, removeEldestEntry

Methods inherited from class java.util.HashMap

clone, containsKey, entrySet, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Map

containsKey, entrySet, equals, hashCode, isEmpty, keySet, put, putAll, remove, size, values

Constructor Detail

InferenceResult

public InferenceResult()

Method Detail

getRemainingTargets

public Set<TypeVariable> getRemainingTargets(Set<TypeVariable> allTargets,
                                             boolean inferredTypesOnly)

Returns:

the set of targets that still don't have an inferred argument

isComplete

public boolean isComplete(Set<TypeVariable> targets)

Returns:

true if we have inferred a concrete type for all targets

resolveChainedTargets

public void resolveChainedTargets()

If we had a set of inferred results, (e.g. T1 = T2, T2 = T3, T3 = String) propagate any results we have (the above constraints become T1 = String, T2 = String, T3 = String)

toAtmMap

public Map<TypeVariable,AnnotatedTypeMirror> toAtmMap()

mergeSubordinate

public void mergeSubordinate(InferenceResult subordinate)

Merges values in subordinate into this result, keeping the results form any type arguments that were already contained by this InferenceResult

Parameters:

subordinate - a result which we wish to merge into this result

mergeTarget

protected InferredValue.InferredType mergeTarget(TypeVariable target,
                                                 InferenceResult subordinate)

Performs a merge for a specific target, we keep only results that lead to a concrete type