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
Type	addPair(Type target, Type actual)
Type	addSingle(Type actual)
Type	resolve(Type 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 Type addPair(Type target,
                    Type actual)

Returns:

the actual with the inference variable inserted

addSingle

public Type addSingle(Type actual)

resolve

public Type resolve(Type type)