Python: Add test for implicit __init__.py files

RasmusWL · RasmusWL · commit 3d5511221e3f · 2020-09-25T11:48:38.000+02:00
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/PointsTo.expected b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/PointsTo.expected
@@ -0,0 +1,6 @@
+debug_missingAnnotationForCallable
+debug_nonUniqueAnnotationForCallable
+debug_missingAnnotationForCall
+expectedCallEdgeNotFound
+| example.py:12:1:12:7 | afunc() | foo/bar/a.py:2:1:2:12 | Function afunc |
+unexpectedCallEdgeFound
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/PointsTo.qlref b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/PointsTo.qlref
@@ -0,0 +1 @@
+../CallGraph/PointsTo.ql
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/Relative.expected b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/Relative.expected
@@ -0,0 +1,5 @@
+debug_missingAnnotationForCallable
+debug_nonUniqueAnnotationForCallable
+debug_missingAnnotationForCall
+pointsTo_found_typeTracker_notFound
+pointsTo_notFound_typeTracker_found
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/Relative.qlref b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/Relative.qlref
@@ -0,0 +1 @@
+../CallGraph/Relative.ql
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/TypeTracker.expected b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/TypeTracker.expected
@@ -0,0 +1,6 @@
+debug_missingAnnotationForCallable
+debug_nonUniqueAnnotationForCallable
+debug_missingAnnotationForCall
+expectedCallEdgeNotFound
+| example.py:12:1:12:7 | afunc() | foo/bar/a.py:2:1:2:12 | Function afunc |
+unexpectedCallEdgeFound
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/TypeTracker.qlref b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/TypeTracker.qlref
@@ -0,0 +1 @@
+../CallGraph/TypeTracker.ql
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/example.py b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/example.py
@@ -0,0 +1,18 @@
+"""
+Test that we can resolve callables correctly without using explicit __init__.py files
+
+This is not included in the standard `CallGraph/code` folder, since we're testing our
+understanding import work properly, so it's better to have a clean test setup that is
+obviously correct (the other one isn't in regards to imports).
+
+Technically this is part of PEP 420 -- Implicit Namespace Packages, but does use the
+*real* namespace package feature of allowing source code for a single package to reside
+in multiple places.
+
+Since PEP 420 was accepted in Python 3, this test is Python 3 only.
+"""
+
+from foo.bar.a import afunc
+
+# calls:afunc
+afunc()
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/foo/bar/a.py b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/foo/bar/a.py
@@ -0,0 +1,4 @@
+# name:afunc
+def afunc():
+  print("afunc called")
+  return 1
diff --git a/python/ql/test/experimental/library-tests/CallGraph-implicit-init/options b/python/ql/test/experimental/library-tests/CallGraph-implicit-init/options
@@ -0,0 +1 @@
+semmle-extractor-options: --max-import-depth=1 --lang=3

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+semmle-extractor-options: --max-import-depth=1 --lang=3`