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

Java: refactor ConstCase and DefaultCase in preparation for Java 12

Browse Source
This commit is contained in:
yh-semmle
2019-01-21 21:43:57 -05:00
parent 3f70d91a11
commit 4ede686283
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -410,10 +410,10 @@ class SwitchCase extends Stmt, @case {
/** A constant `case` of a switch statement. */
class ConstCase extends SwitchCase {
ConstCase() { exists(Expr e | e.getParent() = this) }
ConstCase() { exists(Expr e | e.getParent() = this | e.getIndex() >= 0) }
/** Gets the expression of this `case`. */
Expr getValue() { result.getParent() = this }
Expr getValue() { result.getParent() = this and result.getIndex() = 0 }
/** Gets a printable representation of this statement. May include more detail than `toString()`. */
override string pp() { result = "case ...:" }
@@ -424,7 +424,7 @@ class ConstCase extends SwitchCase {
/** A `default` case of a `switch` statement */
class DefaultCase extends SwitchCase {
DefaultCase() { not exists(Expr e | e.getParent() = this) }
DefaultCase() { not exists(Expr e | e.getParent() = this | e.getIndex() >= 0) }
/** Gets a printable representation of this statement. May include more detail than `toString()`. */
override string pp() { result = "default" }