| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/ |
| D | ThrowsBound.java | 19 private InferenceVariable inferenceVariable; field in ThrowsBound
21 public ThrowsBound(InferenceVariable inferenceVariable) { in ThrowsBound() argument
22 this.inferenceVariable = inferenceVariable; in ThrowsBound()
32 return inferenceVariable.equals(that.inferenceVariable); in equals()
38 "inferenceVariable=" + inferenceVariable + in toString()
44 return inferenceVariable.hashCode(); in hashCode()
50 variables.add(inferenceVariable); in usedInferenceVariables()
59 public boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn() argument
60 return inferenceVariable.equals(this.inferenceVariable); in isThrowsBoundOn()
|
| /external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| D | Instantiation.java | 10 private InferenceVariable inferenceVariable; field in Instantiation
13 public Instantiation(InferenceVariable inferenceVariable, ResolvedType properType) { in Instantiation() argument
14 this.inferenceVariable = inferenceVariable; in Instantiation()
19 return inferenceVariable; in getInferenceVariable()
33 if (!inferenceVariable.equals(that.inferenceVariable)) return false; in equals()
39 int result = inferenceVariable.hashCode(); in hashCode()
47 "inferenceVariable=" + inferenceVariable + in toString()
|
| D | ProperLowerBound.java | 9 private InferenceVariable inferenceVariable; field in ProperLowerBound
12 public ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperLowerBound() argument
13 this.inferenceVariable = inferenceVariable; in ProperLowerBound()
24 if (!inferenceVariable.equals(that.inferenceVariable)) return false; in equals()
30 int result = inferenceVariable.hashCode(); in hashCode()
38 "inferenceVariable=" + inferenceVariable + in toString()
44 return inferenceVariable; in getInferenceVariable()
|
| D | ProperUpperBound.java | 9 private InferenceVariable inferenceVariable; field in ProperUpperBound
12 public ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType) { in ProperUpperBound() argument
13 this.inferenceVariable = inferenceVariable; in ProperUpperBound()
24 if (!inferenceVariable.equals(that.inferenceVariable)) return false; in equals()
30 int result = inferenceVariable.hashCode(); in hashCode()
38 "inferenceVariable=" + inferenceVariable + in toString()
44 return inferenceVariable; in getInferenceVariable()
|
| D | Bound.java | 71 Optional<ProperLowerBound> isProperLowerBoundFor(InferenceVariable inferenceVariable) { in isProperLowerBoundFor() argument
73 if (partial.isPresent() && partial.get().getInferenceVariable().equals(inferenceVariable)) { in isProperLowerBoundFor()
80 Optional<ProperUpperBound> isProperUpperBoundFor(InferenceVariable inferenceVariable) { in isProperUpperBoundFor() argument
82 if (partial.isPresent() && partial.get().getInferenceVariable().equals(inferenceVariable)) { in isProperUpperBoundFor()
97 boolean isThrowsBoundOn(InferenceVariable inferenceVariable) { in isThrowsBoundOn() argument
|
| D | InferenceVariableSubstitution.java | 27 …public InferenceVariableSubstitution withPair(InferenceVariable inferenceVariable, ResolvedType ty… in withPair() argument
31 newInstance.inferenceVariables.add(inferenceVariable); in withPair()
|
| D | BoundSet.java | 785 …oolean properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable) { in properUpperBoundsAreAtMostExceptionThrowableAndObject() argument
789 private boolean appearInLeftPartOfCapture(InferenceVariable inferenceVariable) { in appearInLeftPartOfCapture() argument
793 if (capturesBound.getInferenceVariables().contains(inferenceVariable)) { in appearInLeftPartOfCapture()
801 public List<Bound> getProperUpperBoundsFor(InferenceVariable inferenceVariable) { in getProperUpperBoundsFor() argument
802 …return bounds.stream().filter(b -> b.isProperUpperBoundFor(inferenceVariable).isPresent()).collect… in getProperUpperBoundsFor()
|
| /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/bounds/ |
| D | SubtypeOfBoundTest.java | 36 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound1() local
37 Bound bound = new SubtypeOfBound(integerType, inferenceVariable); in recognizeProperLowerBound1()
39 …assertEquals(Optional.of(new ProperLowerBound(inferenceVariable, integerType)), bound.isProperLowe… in recognizeProperLowerBound1()
48 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperLowerBound2() local
49 Bound bound = new SubtypeOfBound(doubleType, inferenceVariable); in recognizeProperLowerBound2()
51 …assertEquals(Optional.of(new ProperLowerBound(inferenceVariable, doubleType)), bound.isProperLower… in recognizeProperLowerBound2()
60 InferenceVariable inferenceVariable = new InferenceVariable("α", typeParameterDeclaration); in recognizeProperUpperBound1() local
61 Bound bound = new SubtypeOfBound(inferenceVariable, objectType); in recognizeProperUpperBound1()
63 …assertEquals(Optional.of(new ProperUpperBound(inferenceVariable, objectType)), bound.isProperUpper… in recognizeProperUpperBound1()
|
| D | SameAsBoundTest.java | 24 InferenceVariable inferenceVariable = new InferenceVariable("α", null); in recognizeInstantiation() local
25 Bound bound1 = new SameAsBound(inferenceVariable, stringType); in recognizeInstantiation()
26 Bound bound2 = new SameAsBound(stringType, inferenceVariable); in recognizeInstantiation()
28 …assertEquals(Optional.of(new Instantiation(inferenceVariable, stringType)), bound1.isAnInstantiati… in recognizeInstantiation()
29 …assertEquals(Optional.of(new Instantiation(inferenceVariable, stringType)), bound2.isAnInstantiati… in recognizeInstantiation()
|
| /external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| D | ConstraintFormulaTest.java | 34 InferenceVariable inferenceVariable = new InferenceVariable("α", tp); in testExpressionCompatibleWithTypeReduce1() local
36 …ionCompatibleWithType formula = new ExpressionCompatibleWithType(typeSolver, e, inferenceVariable); in testExpressionCompatibleWithTypeReduce1()
40 …sult.empty().withConstraint(new TypeCompatibleWithType(typeSolver, stringType, inferenceVariable)), in testExpressionCompatibleWithTypeReduce1()
44 …ionResult.empty().withConstraint(new TypeSubtypeOfType(typeSolver, stringType, inferenceVariable)), in testExpressionCompatibleWithTypeReduce1()
|