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
com.github.javaparser.resolution.types.ResolvedType	addPair(com.github.javaparser.resolution.types.ResolvedType target, com.github.javaparser.resolution.types.ResolvedType actual)
com.github.javaparser.resolution.types.ResolvedType	addSingle(com.github.javaparser.resolution.types.ResolvedType actual)
com.github.javaparser.resolution.types.ResolvedType	resolve(com.github.javaparser.resolution.types.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 com.github.javaparser.resolution.types.ResolvedType addPair(com.github.javaparser.resolution.types.ResolvedType target,
                                                                   com.github.javaparser.resolution.types.ResolvedType actual)

Returns:

the actual with the inference variable inserted

addSingle

public com.github.javaparser.resolution.types.ResolvedType addSingle(com.github.javaparser.resolution.types.ResolvedType actual)

resolve

public com.github.javaparser.resolution.types.ResolvedType resolve(com.github.javaparser.resolution.types.ResolvedType type)