Python : P -> PY

yoff · yoff · commit bfdcae45385c · 2023-12-15T10:43:02.000+01:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -403,9 +403,9 @@ module VariableCapture {
   }
 
   private module CaptureInput implements Shared::InputSig<Location> {
-    private import python as P
+    private import python as PY
 
-    class BasicBlock extends P::BasicBlock {
+    class BasicBlock extends PY::BasicBlock {
       Callable getEnclosingCallable() { result = this.getScope() }
 
       // TODO: check that this gives useful results

Original file line number	Diff line number	Diff line change
`@@ -403,9 +403,9 @@ module VariableCapture {`
`403`	`403`	`}`
`404`	`404`
`405`	`405`	`private module CaptureInput implements Shared::InputSig<Location> {`
`406`		`- private import python as P`
	`406`	`+ private import python as PY`
`407`	`407`
`408`		`- class BasicBlock extends P::BasicBlock {`
	`408`	`+ class BasicBlock extends PY::BasicBlock {`
`409`	`409`	`Callable getEnclosingCallable() { result = this.getScope() }`
`410`	`410`
`411`	`411`	`// TODO: check that this gives useful results`