Skip to content

Commit a683b64

Browse files
committed
python: removed superflous module
We have CfgImpl::Cfg already.
1 parent cc0156d commit a683b64

1 file changed

Lines changed: 0 additions & 18 deletions

File tree

  • python/ql/lib/semmle/python/controlflow/internal

python/ql/lib/semmle/python/controlflow/internal/Cfg.qll

Lines changed: 0 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -20,24 +20,6 @@ module;
2020
private import python as Py
2121
private import semmle.python.controlflow.internal.AstNodeImpl as CfgImpl
2222
private import codeql.controlflow.SuccessorType
23-
private import codeql.controlflow.BasicBlock as BB
24-
25-
/**
26-
* A nested sub-module that explicitly implements `BB::CfgSig`, so this
27-
* `Cfg` facade can be passed to parameterised shared modules such as
28-
* `codeql.dataflow.VariableCapture::Flow<L, Cfg, ...>`. The sub-module
29-
* exposes the *raw* shared-CFG types from `AstNodeImpl.qll` (where the
30-
* signature is satisfied natively), not the facade's wrapped types.
31-
*/
32-
module CfgForBb implements BB::CfgSig<Py::Location> {
33-
class ControlFlowNode = CfgImpl::ControlFlowNode;
34-
35-
class BasicBlock = CfgImpl::BasicBlock;
36-
37-
class EntryBasicBlock = CfgImpl::Cfg::EntryBasicBlock;
38-
39-
predicate dominatingEdge = CfgImpl::Cfg::dominatingEdge/2;
40-
}
4123

4224
/**
4325
* A control flow node.

0 commit comments

Comments
 (0)