Home
last modified time | relevance | path

Searched refs:varsToSolve (Results 1 – 18 of 18) sorted by relevance

/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java503 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
506 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
518 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java506 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
509 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
521 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java503 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
506 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
518 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java506 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
509 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
521 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java506 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
509 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
521 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1349 List<Type> varsToSolve; field in Infer.BestLeafSolver
1351 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1352 this.varsToSolve = varsToSolve; in BestLeafSolver()
1399 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1650 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1654 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1657 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1669 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java506 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
509 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
521 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1346 List<Type> varsToSolve; field in Infer.BestLeafSolver
1348 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1349 this.varsToSolve = varsToSolve; in BestLeafSolver()
1396 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1647 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1651 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1654 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1666 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java503 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
504 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
506 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
518 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
520 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/
H A DInferenceContext.java506 public void solveAny(List<Type> varsToSolve, Warner warn) { in solveAny() argument
507 solve(infer.new BestLeafSolver(varsToSolve.intersect(restvars())) { in solveAny()
509 return instvars().intersect(varsToSolve).nonEmpty(); in solveAny()
521 List<Type> solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) { in solveBasic() argument
523 for (Type t : varsToSolve.intersect(restvars())) { in solveBasic()
H A DInfer.java1362 List<Type> varsToSolve; field in Infer.BestLeafSolver
1364 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1365 this.varsToSolve = varsToSolve; in BestLeafSolver()
1412 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1663 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1667 outer: while (Type.containsAny(inferenceContext.restvars(), varsToSolve)) { in solve()
1670 if (inferenceContext.solveBasic(varsToSolve, step.steps).nonEmpty()) { in solve()
1682 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java1312 List<Type> varsToSolve; field in Infer.BestLeafSolver
1314 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1315 this.varsToSolve = varsToSolve; in BestLeafSolver()
1365 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1632 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1639 if (inferenceContext.solveBasic(varsToSolve, step.steps)) { in solve()
1651 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
2279 solve(new BestLeafSolver(varsToSolve.intersect(restvars())) {
2281 return instvars().intersect(varsToSolve).nonEmpty();
2293 private boolean solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) {
[all …]
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java1312 List<Type> varsToSolve; field in Infer.BestLeafSolver
1314 BestLeafSolver(List<Type> varsToSolve) { in BestLeafSolver() argument
1315 this.varsToSolve = varsToSolve; in BestLeafSolver()
1365 if (!Collections.disjoint(n.data, varsToSolve)) { in pickNode()
1632 List<Type> varsToSolve = List.from(nodeToSolve.data); in solve() local
1639 if (inferenceContext.solveBasic(varsToSolve, step.steps)) { in solve()
1651 instantiateAsUninferredVars(varsToSolve, inferenceContext); in solve()
2279 solve(new BestLeafSolver(varsToSolve.intersect(restvars())) {
2281 return instvars().intersect(varsToSolve).nonEmpty();
2293 private boolean solveBasic(List<Type> varsToSolve, EnumSet<InferenceStep> steps) {
[all …]