hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 16:25:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add missing javadoc and getUniquePattern predicate

Browse Source
This commit is contained in:
Chris Smowton
2024-03-22 15:01:09 +00:00
parent f44becea7f
commit c7cb885e71
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -551,8 +551,16 @@ class PatternCase extends SwitchCase {
*/
PatternExpr getPatternAtIndex(int n) { result.isNthChildOf(this, n) }
/**
* Gets any of this case's patterns.
*/
PatternExpr getAPattern() { result = this.getPatternAtIndex(_) }
/**
* Gets this case's sole pattern, if there is exactly one.
*/
PatternExpr getUniquePattern() { result = unique(PatternExpr pe | pe = this.getPatternAtIndex(_)) }
/** Gets the guard applicable to this pattern case, if any. */
Expr getGuard() { result.isNthChildOf(this, -3) }