File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed
python/ql/test/library-tests/dataflow/model-summaries Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -129,13 +129,16 @@ def explicit_identity(x):
129129SINK_F (a )
130130SINK (b ) # $ flow="SOURCE, l:-2 -> b"
131131
132- # call the instance method on the class to expose the self argument
132+ # Call the instance method on the class to expose the self argument
133133x , y = MS_Class .instance_method (SOURCE , NONSOURCE )
134134SINK (x ) # $ MISSING: flow="SOURCE, l:-1 -> x"
135135SINK_F (y )
136136
137- # call the instance method on the class to expose the self argument
138- SINK (MS_Class .explicit_self (SOURCE )) # $ MISSING: flow="SOURCE, l:0 -> ms(SOURCE)"
137+ # Call the instance method on the class to expose the self argument
138+ # That self argument is not referenced by `Argument[self:]`
139+ SINK_F (MS_Class .explicit_self (SOURCE ))
140+ # Instead, `Argument[self:]` refers to a keyword argument named `self` (which you are allowed to do in Python)
141+ SINK (c .explicit_self (self = SOURCE )) # $ flow="SOURCE -> c.explicit_self(..)"
139142
140143# Modeled flow-summary is not value preserving
141144from json import MS_loads as json_loads
You can’t perform that action at this time.
0 commit comments