Package com.github.javaparser.symbolsolver.logic

Class InferenceContext

java.lang.Object

com.github.javaparser.symbolsolver.logic.InferenceContext

public class InferenceContext
extends Object

Author:

Federico Tomassetti

Constructor Summary

Constructors

Constructor	Description
InferenceContext(ObjectProvider objectProvider)

Method Summary

Modifier and Type	Method	Description
ResolvedType	addPair(ResolvedType target, ResolvedType actual)
ResolvedType	addSingle(ResolvedType actual)
ResolvedType	resolve(ResolvedType type)

Methods inherited from class java.lang.Object

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

Constructor Details

InferenceContext

public InferenceContext(ObjectProvider objectProvider)

Method Details

addPair

public ResolvedType addPair(ResolvedType target,
 ResolvedType actual)

Returns:

the actual with the inference variable inserted

addSingle

public ResolvedType addSingle(ResolvedType actual)

resolve

public ResolvedType resolve(ResolvedType type)