Class InferenceContext
java.lang.Object
com.github.javaparser.resolution.logic.InferenceContext
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate Map
<String, InferenceVariableType> private List
<InferenceVariableType> private int
private TypeSolver
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionaddPair
(ResolvedType target, ResolvedType actual) addSingle
(ResolvedType actual) private InferenceVariableType
private ResolvedType
private void
registerCorrespondance
(ResolvedType formalType, ResolvedType actualType) resolve
(ResolvedType type)
-
Field Details
-
nextInferenceVariableId
private int nextInferenceVariableId -
typeSolver
-
inferenceVariableTypes
-
inferenceVariableTypeMap
-
-
Constructor Details
-
InferenceContext
-
-
Method Details
-
inferenceVariableTypeForTp
-
addPair
- Returns:
- the actual with the inference variable inserted
-
addSingle
-
registerCorrespondance
-
placeInferenceVariables
-
resolve
-