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/ |
D | BoundSet.java | 282 … 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()
|
D | InferenceVariableSubstitution.java | 27 …public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType ty… in withPair() method in InferenceVariableSubstitution
|
D | Substitution.java | 23 …public Substitution withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedTy… in withPair() method in Substitution
|
D | TypeInference.java | 78 theta = theta.withPair(Ps.get(0), alphas.get(0)); in instantiationInference() 534 … substitution = substitution.withPair(typeParameterDeclarations.get(j), inferenceVariables.get(j)); in boundSetup()
|