Skip to content

Commit beb827b

Browse files
committed
Remove unused predicate
1 parent 1cb5efa commit beb827b

File tree

1 file changed

+1
-11
lines changed

1 file changed

+1
-11
lines changed

java/ql/lib/semmle/code/java/Statement.qll

Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -502,17 +502,7 @@ class SwitchCase extends Stmt, @case {
502502
* This predicate is mutually exclusive with `getRuleExpression`.
503503
*/
504504
Stmt getRuleStatement() {
505-
result = this.getRuleStatementOrExpressionStatement() and not result instanceof ExprStmt
506-
}
507-
508-
/**
509-
* Gets the statement, including an expression statement, on the RHS of the arrow, if any.
510-
*
511-
* This means this could be an explicit `case e1 -> { s1; ... }` or an implicit
512-
* `case e1 -> stmt;` rule.
513-
*/
514-
Stmt getRuleStatementOrExpressionStatement() {
515-
result.getParent() = this and result.getIndex() = -1
505+
result.getParent() = this and result.getIndex() = -1 and not result instanceof ExprStmt
516506
}
517507
}
518508

0 commit comments

Comments
 (0)