Python: Additional tests for model-editor

We currently have some problems with these files, that we should fix
later down the line. See PR comment for more details.

python/ql/test/modelling/FrameworkModeEndpoints.expected

@@ -12,4 +12,11 @@
 | MyPackage/Foo.py:34:1:34:42 | Function func_with_fancy_args | MyPackage | Foo | func_with_fancy_args | () | false | Foo.py |  | Function |
 | MyPackage/ModuleWithAll.py:2:1:2:10 | Class Foo | MyPackage | ModuleWithAll.Foo |  |  | false | ModuleWithAll.py |  | Class |
 | MyPackage/ModuleWithAll.py:3:1:3:10 | Class Bar | MyPackage | ModuleWithAll.Bar |  |  | false | ModuleWithAll.py |  | Class |
+| NotPackage/not_in_pacakge_lib.py:1:1:1:34 | Function not_in_pacakge_lib_func | NotPackage |  | not_in_pacakge_lib_func | (x,y) | false | not_in_pacakge_lib.py |  | Function |
+| NotPackage/not_in_pacakge_lib.py:1:1:1:34 | Function not_in_pacakge_lib_func | NotPackage | not_in_pacakge_lib | not_in_pacakge_lib_func | (x,y) | false | not_in_pacakge_lib.py |  | Function |
+| NotPackage/not_in_pacakge_lib.py:1:1:1:34 | Function not_in_pacakge_lib_func | not_in_pacakge_lib |  | not_in_pacakge_lib_func | (x,y) | false | not_in_pacakge_lib.py |  | Function |
+| NotPackage/not_in_pacakge_lib.py:1:1:1:34 | Function not_in_pacakge_lib_func | not_in_pacakge_lib | not_in_pacakge_lib | not_in_pacakge_lib_func | (x,y) | false | not_in_pacakge_lib.py |  | Function |
+| NotPackage/not_in_package_script.py:5:1:5:37 | Function not_in_package_script_func | NotPackage | not_in_package_script | not_in_package_script_func | (x,y) | false | not_in_package_script.py |  | Function |
+| NotPackage/possibly_lib.py:4:1:4:28 | Function possibly_lib_func | NotPackage | possibly_lib | possibly_lib_func | (x,y) | false | possibly_lib.py |  | Function |
 | TopLevel.py:3:1:3:38 | Function top_level_function | TopLevel |  | top_level_function | (x,y,z:) | false | TopLevel.py |  | Function |
+| not-valid-package/not_in_pacakge_lib_copy.py:1:1:1:34 | Function not_in_pacakge_lib_func | not_in_pacakge_lib_copy |  | not_in_pacakge_lib_func | (x,y) | false | not_in_pacakge_lib_copy.py |  | Function |

python/ql/test/modelling/NotPackage/not_in_pacakge_lib.py

@@ -0,0 +1,2 @@
+def not_in_pacakge_lib_func(x, y):
+    return x + y

python/ql/test/modelling/NotPackage/not_in_package_script.py

@@ -0,0 +1,10 @@
+#!/usr/bin/env python
+
+import not_in_pacakge_lib
+
+def not_in_package_script_func(x, y):
+    return x + y
+
+if __name__ == "__main__":
+    print(not_in_pacakge_lib.not_in_pacakge_lib_func(1, 2))
+    print(not_in_package_script_func(3, 4))

python/ql/test/modelling/NotPackage/possibly_lib.py

@@ -0,0 +1,5 @@
+# model editor should allow modeling the functions defined in this file, even when the
+# file is not imported explicitly.
+
+def possibly_lib_func(x, y):
+    return x + y

python/ql/test/modelling/not-valid-package/not_in_pacakge_lib_copy.py

@@ -0,0 +1,2 @@
+def not_in_pacakge_lib_func(x, y):
+    return x + y

python/ql/test/modelling/not-valid-package/not_in_package_script_copy.py

@@ -0,0 +1,10 @@
+#!/usr/bin/env python
+
+import not_in_pacakge_lib_copy
+
+def not_in_package_script_func(x, y):
+    return x + y
+
+if __name__ == "__main__":
+    print(not_in_pacakge_lib_copy.not_in_pacakge_lib_func(1, 2))
+    print(not_in_package_script_func(3, 4))

python/ql/test/modelling/not-valid-package/possibly_lib_copy.py

@@ -0,0 +1,5 @@
+# model editor should allow modeling the functions defined in this file, even when the
+# file is not imported explicitly.
+
+def possibly_lib_func(x, y):
+    return x + y

python/ql/test/modelling/options

@@ -0,0 +1 @@
+semmle-extractor-options: -R .