add explicit test of what Parameter[0] matches

erik-krogh · erik-krogh · commit f273ccf73bc5 · 2022-05-17T11:17:15.000+02:00
diff --git a/python/ql/test/library-tests/frameworks/data/test.expected b/python/ql/test/library-tests/frameworks/data/test.expected
@@ -84,6 +84,7 @@ isSource
 | test.py:85:42:85:52 | ControlFlowNode for getSource() | test-source |
 | test.py:86:49:86:59 | ControlFlowNode for getSource() | test-source |
 | test.py:87:56:87:66 | ControlFlowNode for getSource() | test-source |
+| test.py:101:29:101:31 | ControlFlowNode for arg | test-source |
 syntaxErrors
 | Member[foo |
 | Member[foo] .Member[bar] |
diff --git a/python/ql/test/library-tests/frameworks/data/test.py b/python/ql/test/library-tests/frameworks/data/test.py
@@ -96,3 +96,7 @@ def secondAndAfter(self, arg1, arg2, arg3, arg4, arg5):
 
 from foo2.bar import baz2
 baz2(baz2) # match
+
+class OtherSubClass (ArgPos.MyClass):
+    def otherSelfTest(self, arg, named=2, otherName=3): # test that Parameter[0] hits `arg`.
+        pass
diff --git a/python/ql/test/library-tests/frameworks/data/test.ql b/python/ql/test/library-tests/frameworks/data/test.ql
@@ -76,6 +76,7 @@ class Sources extends ModelInput::SourceModelCsv {
         "testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[foo].Parameter[self];test-source", //
         "testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[foo].Parameter[named:];test-source", //
         "testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[secondAndAfter].Parameter[1..];test-source", //
+        "testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[otherSelfTest].Parameter[0];test-source", //
       ]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -76,6 +76,7 @@ class Sources extends ModelInput::SourceModelCsv {`
`76`	`76`	`"testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[foo].Parameter[self];test-source", //`
`77`	`77`	`"testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[foo].Parameter[named:];test-source", //`
`78`	`78`	`"testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[secondAndAfter].Parameter[1..];test-source", //`
	`79`	`+ "testlib;;Member[ArgPos].Member[MyClass].Subclass.Member[otherSelfTest].Parameter[0];test-source", //`
`79`	`80`	`]`
`80`	`81`	`}`
`81`	`82`	`}`