com.github.javaparser.symbolsolver.logic

Class InferenceContext

java.lang.Object

com.github.javaparser.symbolsolver.logic.InferenceContext

public class InferenceContext
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
InferenceContext(ObjectProvider objectProvider)

Method Summary

Modifier and Type	Method and Description
com.github.javaparser.symbolsolver.model.typesystem.Type	addPair(com.github.javaparser.symbolsolver.model.typesystem.Type target, com.github.javaparser.symbolsolver.model.typesystem.Type actual)
com.github.javaparser.symbolsolver.model.typesystem.Type	addSingle(com.github.javaparser.symbolsolver.model.typesystem.Type actual)
com.github.javaparser.symbolsolver.model.typesystem.Type	resolve(com.github.javaparser.symbolsolver.model.typesystem.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 com.github.javaparser.symbolsolver.model.typesystem.Type addPair(com.github.javaparser.symbolsolver.model.typesystem.Type target,
                                                                        com.github.javaparser.symbolsolver.model.typesystem.Type actual)

Returns:

the actual with the inference variable inserted

addSingle

public com.github.javaparser.symbolsolver.model.typesystem.Type addSingle(com.github.javaparser.symbolsolver.model.typesystem.Type actual)

resolve

public com.github.javaparser.symbolsolver.model.typesystem.Type resolve(com.github.javaparser.symbolsolver.model.typesystem.Type type)