From 6d3717cff84f1d853b7a1cc34e48ec27c54b5195 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 23 Mar 2020 10:27:36 +0100 Subject: [PATCH] Java: Sharpen return type of LambdaExpr.getStmtBody(). --- java/ql/src/semmle/code/java/Expr.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/Expr.qll b/java/ql/src/semmle/code/java/Expr.qll index afed3bafd0e..37cc608d878 100755 --- a/java/ql/src/semmle/code/java/Expr.qll +++ b/java/ql/src/semmle/code/java/Expr.qll @@ -1016,7 +1016,7 @@ class LambdaExpr extends FunctionalExpr, @lambdaexpr { } /** Gets the body of this lambda expression, if it is a statement. */ - Stmt getStmtBody() { hasStmtBody() and result = asMethod().getBody() } + Block getStmtBody() { hasStmtBody() and result = asMethod().getBody() } /** Gets a printable representation of this expression. */ override string toString() { result = "...->..." }