hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-01 05:13:41 +01:00
Code Issues Packages Projects Releases Wiki Activity

Java 14: switch expressions are no longer in preview

Browse Source
This commit is contained in:
yo-h
2020-02-17 23:05:00 -05:00
parent 057155f28f
commit 9d2f76849b
3 changed files with 1 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/src/semmle/code/java/Expr.qll
View File

@@ -1076,8 +1076,6 @@ class ConditionalExpr extends Expr, @conditionalexpr {
}
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* A `switch` expression.
*/
class SwitchExpr extends Expr, @switchexpr {

12
java/ql/src/semmle/code/java/Statement.qll
View File

@@ -417,8 +417,6 @@ class SwitchCase extends Stmt, @case {
SwitchStmt getSwitch() { result.getACase() = this }
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* Gets the switch expression to which this case belongs, if any.
*/
SwitchExpr getSwitchExpr() { result.getACase() = this }
@@ -432,8 +430,6 @@ class SwitchCase extends Stmt, @case {
}
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* Holds if this `case` is a switch labeled rule of the form `... -> ...`.
*/
predicate isRule() {
@@ -443,15 +439,11 @@ class SwitchCase extends Stmt, @case {
}
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* Gets the expression on the right-hand side of the arrow, if any.
*/
Expr getRuleExpression() { result.getParent() = this and result.getIndex() = -1 }
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* Gets the statement on the right-hand side of the arrow, if any.
*/
Stmt getRuleStatement() { result.getParent() = this and result.getIndex() = -1 }
@@ -465,8 +457,6 @@ class ConstCase extends SwitchCase {
Expr getValue() { result.getParent() = this and result.getIndex() = 0 }
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* Gets the `case` constant at the specified index.
*/
Expr getValue(int i) { result.getParent() = this and result.getIndex() = i and i >= 0 }
@@ -624,8 +614,6 @@ class BreakStmt extends Stmt, @breakstmt {
}
/**
* PREVIEW FEATURE in Java 13. Subject to removal in a future release.
*
* A `yield` statement.
*/
class YieldStmt extends Stmt, @yieldstmt {