Home
last modified time | relevance | path

Searched refs:withPair (Results 1 – 4 of 4) sorted by relevance

/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/
DBoundSet.java282 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
290 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
298 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
306 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
320 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
328 … Substitution sub = Substitution.empty().withPair(alpha.getTypeParameterDeclaration(), U); in deriveImpliedBounds()
DInferenceVariableSubstitution.java27 …public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType ty… in withPair() method in InferenceVariableSubstitution
DSubstitution.java23 …public Substitution withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedTy… in withPair() method in Substitution
DTypeInference.java78 theta = theta.withPair(Ps.get(0), alphas.get(0)); in instantiationInference()
534 … substitution = substitution.withPair(typeParameterDeclarations.get(j), inferenceVariables.get(j)); in boundSetup()