Java 12: remove deprecated annotation from Stmt::getEnclosingStmt

This commit is contained in:
yh-semmle
2019-04-26 08:50:29 -04:00
parent 3f132f45d9
commit de47f25141

View File

@@ -25,11 +25,9 @@ class Stmt extends StmtParent, ExprParent, @stmt {
StmtParent getParent() { stmts(this, _, result, _, _) }
/**
* DEPRECATED: Preview feature in Java 12. Subject to removal in a future release.
*
* Gets the statement containing this statement, if any.
*/
deprecated Stmt getEnclosingStmt() {
Stmt getEnclosingStmt() {
result = this.getParent() or
result = this.getParent().(SwitchExpr).getEnclosingStmt()
}