hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-07-28 22:36:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

python: removed superflous module

Browse Source 
We have CfgImpl::Cfg already.
This commit is contained in:
yoff
2026-07-21 12:05:37 +02:00
parent cc0156d8ac
commit a683b641cc
1 changed files with 0 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
python/ql/lib/semmle/python/controlflow/internal/Cfg.qll
View File

@@ -20,24 +20,6 @@ module;
private import python as Py
private import semmle.python.controlflow.internal.AstNodeImpl as CfgImpl
private import codeql.controlflow.SuccessorType
private import codeql.controlflow.BasicBlock as BB
/**
* A nested sub-module that explicitly implements `BB::CfgSig`, so this
* `Cfg` facade can be passed to parameterised shared modules such as
* `codeql.dataflow.VariableCapture::Flow<L, Cfg, ...>`. The sub-module
* exposes the *raw* shared-CFG types from `AstNodeImpl.qll` (where the
* signature is satisfied natively), not the facade's wrapped types.
*/
module CfgForBb implements BB::CfgSig<Py::Location> {
class ControlFlowNode = CfgImpl::ControlFlowNode;
class BasicBlock = CfgImpl::BasicBlock;
class EntryBasicBlock = CfgImpl::Cfg::EntryBasicBlock;
predicate dominatingEdge = CfgImpl::Cfg::dominatingEdge/2;
}
/**
* A control flow node.