Java: Sharpen return type of LambdaExpr.getStmtBody().

aschackmull · aschackmull · commit 6d3717cff84f · 2020-03-23T10:27:36.000+01:00
diff --git 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 = "...->..." }

Original file line number	Diff line number	Diff line change
`@@ -1016,7 +1016,7 @@ class LambdaExpr extends FunctionalExpr, @lambdaexpr {`
`1016`	`1016`	`}`
`1017`	`1017`
`1018`	`1018`	`/** Gets the body of this lambda expression, if it is a statement. */`
`1019`		`- Stmt getStmtBody() { hasStmtBody() and result = asMethod().getBody() }`
	`1019`	`+ Block getStmtBody() { hasStmtBody() and result = asMethod().getBody() }`
`1020`	`1020`
`1021`	`1021`	`/** Gets a printable representation of this expression. */`
`1022`	`1022`	`override string toString() { result = "...->..." }`