Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.Substitution
-
Packages that use Substitution Package Description com.github.javaparser.symbolsolver.resolution.typeinference -
-
Uses of Substitution in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as Substitution Modifier and Type Field Description private static Substitution
Substitution. EMPTY
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return Substitution Modifier and Type Method Description static Substitution
Substitution. empty()
Substitution
Substitution. withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)
Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type Substitution Modifier and Type Method Description private ConstraintFormulaSet
TypeInference. constraintSetFromArgumentsSubstitution(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta, int k)
private java.util.Optional<ConstraintFormulaSet>
TypeInference. testForApplicabilityByLooseInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private java.util.Optional<ConstraintFormulaSet>
TypeInference. testForApplicabilityByStrictInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private java.util.Optional<ConstraintFormulaSet>
TypeInference. testForApplicabilityByVariableArityInvocation(java.util.List<ResolvedType> Fs, java.util.List<Expression> es, Substitution theta)
private ResolvedType
TypeInference. typeWithSubstitution(ResolvedType originalType, Substitution substitution)
-