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

Accept intrigus suggested doc clarifications

Browse Source 
Co-authored-by: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com>
This commit is contained in:
Chris Smowton
2022-03-31 12:09:45 +01:00
committed by GitHub
parent 19cd97e426
commit 96bf754f01
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
java/ql/lib/semmle/code/java/Statement.qll
View File

@@ -439,16 +439,17 @@ class SwitchCase extends Stmt, @case {
/**
* Gets the expression on the right-hand side of the arrow, if any.
*
* Note this is mutually exclusive with `getRuleStatement`: it gets a value
* when this case is of the form `case e1 -> e2`, where `e2` is not a block.
* Note, this predicate gets a value when this switch case is of the form
* `case e1 -> e2`, where `e2` is not a block. This predicate is mutually
* exclusive with `getRuleStatement`.
*/
Expr getRuleExpression() { result.getParent() = this and result.getIndex() = -1 }
/**
* Gets the statement on the right-hand side of the arrow, if any.
*
* Note this is mutually exclusive with `getRuleExpression`: it gets a value
* when this case if of the form `case e1 -> { s1; s2; ... }`.
* Note, this predicate gets a value when this switch case is of the form
* `case e1 -> { s1; s2; ... }`. This predicate is mutually exclusive with `getRuleExpression`.
*/
Stmt getRuleStatement() { result.getParent() = this and result.getIndex() = -1 }
}