Home | History | Annotate | Download | only in constraintformulas

Lines Matching refs:lambdaExpr

106             if (expression instanceof LambdaExpr) {
107 LambdaExpr lambdaExpr = (LambdaExpr)expression;
121 Pair<ResolvedType, Boolean> result = TypeHelper.groundTargetTypeOfLambda(lambdaExpr, T, typeSolver);
139 if (targetFunctionType.getFormalArgumentTypes().size() != lambdaExpr.getParameters().size()) {
159 if (!targetFunctionType.getReturnType().isVoid() && lambdaExpr.getBody() instanceof BlockStmt
160 && !isValueCompatibleBlock(lambdaExpr.getBody())) {
170 boolean hasExplicitlyDeclaredTypes = lambdaExpr.getParameters().stream().anyMatch(p -> !(p.getType() instanceof UnknownType));
187 if (lambdaExpr.getBody() instanceof BlockStmt) {
188 List<Expression> resultExpressions = ExpressionHelper.getResultExpressions((BlockStmt)lambdaExpr.getBody());
195 Expression e = ((ExpressionStmt)lambdaExpr.getBody()).getExpression();
205 if (lambdaExpr.getBody() instanceof BlockStmt) {
206 getAllReturnExpressions((BlockStmt)lambdaExpr.getBody()).forEach(e -> constraints.add(new ExpressionCompatibleWithType(typeSolver, e, R)));
209 for (int i=0;i<lambdaExpr.getParameters().size();i++) {
211 TypeInferenceCache.record(typeSolver, lambdaExpr, lambdaExpr.getParameter(i).getNameAsString(), paramType);
214 Expression e = ((ExpressionStmt)lambdaExpr.getBody()).getExpression();