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 and Description
InferenceContext(ObjectProvider objectProvider)

Method Summary

Modifier and Type	Method and 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 Detail

InferenceContext

public InferenceContext(ObjectProvider objectProvider)

Method Detail

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)