Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.Substitution
Packages that use Substitution
-
Uses of Substitution in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as SubstitutionMethods in com.github.javaparser.symbolsolver.resolution.typeinference that return SubstitutionModifier and TypeMethodDescriptionstatic Substitution
Substitution.empty()
Substitution.withPair
(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type) Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type SubstitutionModifier and TypeMethodDescriptionprivate ConstraintFormulaSet
TypeInference.constraintSetFromArgumentsSubstitution
(List<ResolvedType> Fs, List<Expression> es, Substitution theta, int k) private Optional
<ConstraintFormulaSet> TypeInference.testForApplicabilityByLooseInvocation
(List<ResolvedType> Fs, List<Expression> es, Substitution theta) private Optional
<ConstraintFormulaSet> TypeInference.testForApplicabilityByStrictInvocation
(List<ResolvedType> Fs, List<Expression> es, Substitution theta) private Optional
<ConstraintFormulaSet> TypeInference.testForApplicabilityByVariableArityInvocation
(List<ResolvedType> Fs, List<Expression> es, Substitution theta) private ResolvedType
TypeInference.typeWithSubstitution
(ResolvedType originalType, Substitution substitution)