Skip to content

Commit 9dea7cf

Browse files
committed
Python: use updated signature
1 parent 47068c7 commit 9dea7cf

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -395,11 +395,9 @@ module VariableCapture {
395395
)
396396
}
397397

398-
private module CaptureInput implements Shared::InputSig {
398+
private module CaptureInput implements Shared::InputSig<Location> {
399399
private import python as P
400400

401-
class Location = P::Location;
402-
403401
class BasicBlock extends P::BasicBlock {
404402
Callable getEnclosingCallable() { result = this.getScope() }
405403

@@ -484,7 +482,7 @@ module VariableCapture {
484482

485483
class ClosureExpr = CaptureInput::ClosureExpr;
486484

487-
module Flow = Shared::Flow<CaptureInput>;
485+
module Flow = Shared::Flow<Location, CaptureInput>;
488486

489487
private Flow::ClosureNode asClosureNode(Node n) {
490488
result = n.(CaptureNode).getSynthesizedCaptureNode()

0 commit comments

Comments
 (0)