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
22private import ControlFlowGraphImpl as Impl
33private import Completion as Comp
44private import codeql.swift.controlflow.ControlFlowGraph as CFG
55private import Splitting as Splitting
66
77/** The base class for `ControlFlowTree`. */
8- class ControlFlowTreeBase extends s :: AstNode { }
8+ class ControlFlowTreeBase extends S :: AstNode { }
99
10- class ControlFlowElement = s :: AstNode ;
10+ class ControlFlowElement = S :: AstNode ;
1111
1212class Completion = Comp:: Completion ;
1313
@@ -63,6 +63,6 @@ predicate successorTypeIsSimple(SuccessorType t) {
6363/** Holds if `t` is an abnormal exit type out of a CFG scope. */
6464predicate isAbnormalExitType ( SuccessorType t ) { none ( ) } // TODO
6565
66- class Location = s :: Location ;
66+ class Location = S :: Location ;
6767
6868class Node = CFG:: ControlFlowNode ;
You can’t perform that action at this time.
0 commit comments