File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
swift/ql/lib/codeql/swift/controlflow/internal Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 1
- private import swift as s
1
+ private import swift as S
2
2
private import ControlFlowGraphImpl as Impl
3
3
private import Completion as Comp
4
4
private import codeql.swift.controlflow.ControlFlowGraph as CFG
5
5
private import Splitting as Splitting
6
6
7
7
/** The base class for `ControlFlowTree`. */
8
- class ControlFlowTreeBase extends s :: AstNode { }
8
+ class ControlFlowTreeBase extends S :: AstNode { }
9
9
10
- class ControlFlowElement = s :: AstNode ;
10
+ class ControlFlowElement = S :: AstNode ;
11
11
12
12
class Completion = Comp:: Completion ;
13
13
@@ -63,6 +63,6 @@ predicate successorTypeIsSimple(SuccessorType t) {
63
63
/** Holds if `t` is an abnormal exit type out of a CFG scope. */
64
64
predicate isAbnormalExitType ( SuccessorType t ) { none ( ) } // TODO
65
65
66
- class Location = s :: Location ;
66
+ class Location = S :: Location ;
67
67
68
68
class Node = CFG:: ControlFlowNode ;
You can’t perform that action at this time.
0 commit comments