Class InferenceContext
- java.lang.Object
-
- com.github.javaparser.resolution.logic.InferenceContext
-
public class InferenceContext extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<java.lang.String,InferenceVariableType>
inferenceVariableTypeMap
private java.util.List<InferenceVariableType>
inferenceVariableTypes
private int
nextInferenceVariableId
private TypeSolver
typeSolver
-
Constructor Summary
Constructors Constructor Description InferenceContext(TypeSolver typeSolver)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ResolvedType
addPair(ResolvedType target, ResolvedType actual)
ResolvedType
addSingle(ResolvedType actual)
private InferenceVariableType
inferenceVariableTypeForTp(ResolvedTypeParameterDeclaration tp)
private ResolvedType
placeInferenceVariables(ResolvedType type)
private void
registerCorrespondance(ResolvedType formalType, ResolvedType actualType)
ResolvedType
resolve(ResolvedType type)
-
-
-
Field Detail
-
nextInferenceVariableId
private int nextInferenceVariableId
-
typeSolver
private TypeSolver typeSolver
-
inferenceVariableTypes
private java.util.List<InferenceVariableType> inferenceVariableTypes
-
inferenceVariableTypeMap
private java.util.Map<java.lang.String,InferenceVariableType> inferenceVariableTypeMap
-
-
Constructor Detail
-
InferenceContext
public InferenceContext(TypeSolver typeSolver)
-
-
Method Detail
-
inferenceVariableTypeForTp
private InferenceVariableType inferenceVariableTypeForTp(ResolvedTypeParameterDeclaration tp)
-
addPair
public ResolvedType addPair(ResolvedType target, ResolvedType actual)
- Returns:
- the actual with the inference variable inserted
-
addSingle
public ResolvedType addSingle(ResolvedType actual)
-
registerCorrespondance
private void registerCorrespondance(ResolvedType formalType, ResolvedType actualType)
-
placeInferenceVariables
private ResolvedType placeInferenceVariables(ResolvedType type)
-
resolve
public ResolvedType resolve(ResolvedType type)
-
-