PoC modules

Author: arnaud-lb

.gitignore

@@ -81,6 +81,7 @@ Makefile.objects
 # Directories for shared object files generated by `./configure`
 libs/
 modules/
+!Zend/tests/modules/
 
 # Used by build/gen_stub.php
 build/PHP-Parser-*

Zend/tests/modules/check_deps_001.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Modules: classes that are never declared are not checked
+--ENV--
+THIS_IS_DEFINED=1
+--FILE--
+<?php
+
+require_modules([__DIR__.'/check_deps_001/module.ini']);
+
+?>
+==DONE==
+--EXPECT--
+==DONE==

Zend/tests/modules/check_deps_001/a.inc

@@ -0,0 +1,45 @@
+<?php
+
+module Test;
+
+// Early bound, and may not have a DECLARE opcode
+class A {}
+
+interface I {}
+
+if (getenv('THIS_IS_DEFINED')) {
+    // Declared at runtime
+    class B {
+        function f() {
+            // Anon class is usable
+            return new class implements I {};
+        }
+        function g() {
+            // Anon function is usable
+            return function (): I {};
+        }
+    }
+}
+
+// Early bound
+function f() {}
+
+if (getenv('THIS_IS_DEFINED')) {
+    // Declared at runtime
+    function g() {}
+}
+
+if (getenv('THIS_IS_NOT_DEFINED')) {
+    // Never declared (should not generate an error)
+    class C implements J {
+        function f() {
+            // Anon class is not usable (should not generate an error)
+            return new class implements J {};
+        }
+        function g() {
+            // Anon function is not usable (should not generate an error)
+            return function (): J {};
+        }
+
+    }
+}

Zend/tests/modules/check_deps_001/module.ini

@@ -0,0 +1,2 @@
+module=Test
+files=*.inc

Zend/tests/modules/check_deps_002.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Modules: classes with invalid dependencies are not allowed
+--FILE--
+<?php
+
+require __DIR__ . '/helpers.inc';
+
+try {
+    require_modules([__DIR__.'/check_deps_002/module.ini']);
+} catch (Error $e) {
+    printf("%s: %s\n", $e::class, $e->getMessage());
+}
+
+?>
+==DONE==
+--EXPECTF--
+Error: Class Test\I not found while compiling module Test%s
+==DONE==

Zend/tests/modules/check_deps_002/a.inc

@@ -0,0 +1,5 @@
+<?php
+
+module Test;
+
+class A implements I {}

Zend/tests/modules/check_deps_002/module.ini

@@ -0,0 +1,2 @@
+module=Test
+files=*.inc

Zend/tests/modules/check_deps_003.phpt

@@ -0,0 +1,20 @@
+--TEST--
+Modules: classes with invalid dependencies are not allowed
+--ENV--
+THIS_IS_DEFINED=1
+--FILE--
+<?php
+
+require __DIR__ . '/helpers.inc';
+
+try {
+    require_modules([__DIR__.'/check_deps_003/module.ini']);
+} catch (Error $e) {
+    printf("%s: %s\n", $e::class, $e->getMessage());
+}
+
+?>
+==DONE==
+--EXPECTF--
+Error: Class Test\I not found while compiling module Test%s
+==DONE==

Zend/tests/modules/check_deps_003/a.inc

@@ -0,0 +1,7 @@
+<?php
+
+module Test;
+
+if (getenv('THIS_IS_DEFINED')) {
+    class A implements I {}
+}

Zend/tests/modules/check_deps_003/module.ini

@@ -0,0 +1,2 @@
+module=Test
+files=*.inc