Class InferenceVariableSubstitution
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution
-
public class InferenceVariableSubstitution extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description private static InferenceVariableSubstitution
EMPTY
private java.util.List<InferenceVariable>
inferenceVariables
private java.util.List<ResolvedType>
types
-
Constructor Summary
Constructors Modifier Constructor Description private
InferenceVariableSubstitution()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static InferenceVariableSubstitution
empty()
InferenceVariableSubstitution
withPair(InferenceVariable inferenceVariable, ResolvedType type)
-
-
-
Field Detail
-
EMPTY
private static final InferenceVariableSubstitution EMPTY
-
inferenceVariables
private java.util.List<InferenceVariable> inferenceVariables
-
types
private java.util.List<ResolvedType> types
-
-
Method Detail
-
empty
public static InferenceVariableSubstitution empty()
-
withPair
public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType type)
-
-