hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

autoformat

Browse Source
This commit is contained in:
Chris Smowton
2023-11-27 14:30:07 +00:00
parent 633b92da62
commit 53ca8e5fe9
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/ControlFlowGraph.qll
View File

@@ -440,7 +440,9 @@ private module ControlFlowGraphImpl {
// Join order engineering -- first determine the switch block and the case indices required, then retrieve them.
bindingset[switch, i]
pragma[inline_late]
private predicate isNthCaseOf(SwitchBlock switch, SwitchCase c, int i) { c.isNthCaseOf(switch, i) }
private predicate isNthCaseOf(SwitchBlock switch, SwitchCase c, int i) {
c.isNthCaseOf(switch, i)
}
/**
* Gets a `SwitchCase` that may be `pred`'s direct successor, where `pred` is declared in block `switch`.

4
java/ql/lib/semmle/code/java/controlflow/internal/SwitchCases.qll
View File

@@ -13,9 +13,7 @@ private PatternCase getPatternCase(SwitchBlock switch, int i) {
/**
* Gets the first `PatternCase` defined on `switch`, if one exists.
*/
PatternCase getFirstPatternCase(SwitchBlock switch) {
result = getPatternCase(switch, 0)
}
PatternCase getFirstPatternCase(SwitchBlock switch) { result = getPatternCase(switch, 0) }
/**
* Gets the PatternCase after pc, if one exists.