Python: Add test of API::moduleImport with dots

This is currently semi-works -- the import is allowed, but doesn't
always work when used :|

Author: RasmusWL

python/ql/test/library-tests/ApiGraphs/py3/ModuleImportWithDots.expected

@@ -0,0 +1,7 @@
+moduleImportWithDots
+| file://:0:0:0:0 | ModuleImport moduleImport("a").getMember("b").getMember("c").getMember("d") |
+doesntFullyWork
+| test.py:28:10:28:17 | ControlFlowNode for method() |
+works
+| test.py:25:6:25:18 | ControlFlowNode for Attribute() |
+| test.py:28:10:28:17 | ControlFlowNode for method() |

python/ql/test/library-tests/ApiGraphs/py3/ModuleImportWithDots.ql

@@ -0,0 +1,18 @@
+private import python
+private import semmle.python.ApiGraphs
+
+query API::Node moduleImportWithDots() { result = API::moduleImport("a.b.c.d") }
+
+query API::CallNode doesntFullyWork() {
+  result = API::moduleImport("a.b.c.d").getMember("method").getACall()
+}
+
+query API::CallNode works() {
+  result =
+    API::moduleImport("a")
+        .getMember("b")
+        .getMember("c")
+        .getMember("d")
+        .getMember("method")
+        .getACall()
+}

python/ql/test/library-tests/ApiGraphs/py3/test.py

@@ -24,6 +24,9 @@
 
 x5 = abcd.method() #$ use=moduleImport("a").getMember("b").getMember("c").getMember("d").getMember("method").getReturn()
 
+from a.b.c.d import method
+x5_alt = method() #$ use=moduleImport("a").getMember("b").getMember("c").getMember("d").getMember("method").getReturn()
+
 from a6 import m6 #$ use=moduleImport("a6").getMember("m6")
 
 x6 = m6().foo().bar() #$ use=moduleImport("a6").getMember("m6").getReturn().getMember("foo").getReturn().getMember("bar").getReturn()

python/ql/test/library-tests/ApiGraphs/py3/verifyApiGraphs.ql

@@ -1 +1,3 @@
+// Note: This is not using standard inline-expectation tests, so will not alert if you
+// have not manually added an annotation to a line!
 import TestUtilities.VerifyApiGraphs