Skip to content

Commit 64068f1

Browse files
committed
python: longer name and longer comment
1 parent 6d9fd24 commit 64068f1

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

python/ql/lib/semmle/python/ApiGraphs.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -987,7 +987,7 @@ module API {
987987
DataFlow::LocalSourceNode trackUseNode(DataFlow::LocalSourceNode src) {
988988
Stages::TypeTracking::ref() and
989989
result = trackUseNode(src, DataFlow::TypeTracker::end()) and
990-
result instanceof DataFlow::LocalSourceNodeNotModule
990+
result instanceof DataFlow::LocalSourceNodeNotModuleVariableNode
991991
}
992992

993993
/**

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

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -140,10 +140,12 @@ class LocalSourceNode extends Node {
140140
/**
141141
* A LocalSourceNode that is not a ModuleVariableNode
142142
* This class provides a positive formulation of that in its charpred.
143+
*
144+
* Aka FutureLocalSourceNode (see FutureWork below), but until the future is here...
143145
*/
144-
class LocalSourceNodeNotModule extends LocalSourceNode {
146+
class LocalSourceNodeNotModuleVariableNode extends LocalSourceNode {
145147
cached
146-
LocalSourceNodeNotModule() {
148+
LocalSourceNodeNotModuleVariableNode() {
147149
this instanceof ExprNode
148150
or
149151
this.asVar() instanceof ScopeEntryDefinition

0 commit comments

Comments
 (0)