Searched refs:ExpressionCompatibleWithType (Results 1 – 5 of 5) sorted by relevance
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| H A D | ExpressionCompatibleWithType.java | 30 public class ExpressionCompatibleWithType extends ConstraintFormula { class
35 …public ExpressionCompatibleWithType(TypeSolver typeSolver, Expression expression, ResolvedType T) { in ExpressionCompatibleWithType() method in ExpressionCompatibleWithType
71 …return ReductionResult.oneConstraint(new ExpressionCompatibleWithType(typeSolver, enclosedExpr.get… in reduce()
97 … new ExpressionCompatibleWithType(typeSolver, conditionalExpr.getThenExpr(), T), in reduce()
98 … new ExpressionCompatibleWithType(typeSolver, conditionalExpr.getElseExpr(), T)); in reduce()
206 …ckStmt)lambdaExpr.getBody()).forEach(e -> constraints.add(new ExpressionCompatibleWithType(typeSol… in reduce()
215 constraints.add(new ExpressionCompatibleWithType(typeSolver, e, R)); in reduce()
288 ExpressionCompatibleWithType that = (ExpressionCompatibleWithType) o; in equals()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-testing/src/test/java/com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ |
| H A D | ConstraintFormulaTest.java | 36 …ExpressionCompatibleWithType formula = new ExpressionCompatibleWithType(typeSolver, e, inferenceVa… in testExpressionCompatibleWithTypeReduce1()
|
| /aosp_15_r20/external/javaparser/javaparser-symbol-solver-core/src/main/java/com/github/javaparser/symbolsolver/resolution/typeinference/ |
| H A D | TypeInference.java | 15 …b.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType;
699 new ExpressionCompatibleWithType(typeSolver, ei, fiTheta)); in constraintSetFromArgumentsSubstitution()
|
| /aosp_15_r20/out/soong/ |
| D | build.aosp_shiba.ninja.globs | 24061 …rser/symbolsolver/resolution/typeinference/constraintformulas/ExpressionCompatibleWithType.java","…
|
| D | build.aosp_shiba.5.ninja | 403907 …parser/symbolsolver/resolution/typeinference/constraintformulas/ExpressionCompatibleWithType.java $
|