Add eval test

Author: Girgias

ext/reflection/tests/types/relative_class_types/eval_trait_used_in_classes_parameters1_simple.phpt

@@ -0,0 +1,94 @@
+--TEST--
+eval code: ReflectionTypes of relative class types (self, parent) from traits in classes, parameter types
+--FILE--
+<?php
+
+$code = <<<'CODE'
+trait TraitExample {
+    public function bar(parent $o) { return $o; }
+    public function ping(self $o) { return $o; }
+    //public function barNull(?parent $o) { return $o; }
+    //public function pingNull(?self $o) { return $o; }
+}
+
+class A {
+
+}
+
+class B extends A {
+}
+
+class C extends B {
+    use TraitExample;
+}
+
+class D extends C {}
+
+$instances = [
+    new A,
+    new B,
+    new C,
+    new D,
+];
+
+foreach ($instances as $instance) {
+    echo 'Class: ', $instance::class, PHP_EOL;
+    $rc = new ReflectionClass($instance);
+    $methods = $rc->getMethods();
+    foreach ($methods as $method) {
+        echo "\tMethod: ", $method->name, PHP_EOL;
+        $parameters = $method->getParameters();
+        foreach ($parameters as $param) {
+            $type = $param->getType();
+            echo "\t\tType: ", $type, PHP_EOL;
+            echo "\t\tInstance of: ", $type::class, PHP_EOL;
+            $resolvedType = $type->resolveToNamedType();
+            echo "\t\t\tResolved Type: ", $resolvedType, PHP_EOL;
+            echo "\t\t\tInstance of: ", $resolvedType::class, PHP_EOL;
+
+            foreach ($instances as $arg) {
+                try {
+                    $instance->{$method->name}($arg);
+                } catch (\TypeError $e) {
+                    echo "\t\t\t\t", $e->getMessage(), PHP_EOL;
+                }
+            }
+        }
+    }
+}
+CODE;
+
+eval($code);
+
+?>
+--EXPECTF--
+Class: A
+Class: B
+Class: C
+	Method: bar
+		Type: parent
+		Instance of: ReflectionRelativeClassType
+			Resolved Type: B
+			Instance of: ReflectionNamedType
+				C::bar(): Argument #1 ($o) must be of type B, A given, called in %s on line %d
+	Method: ping
+		Type: self
+		Instance of: ReflectionRelativeClassType
+			Resolved Type: C
+			Instance of: ReflectionNamedType
+				C::ping(): Argument #1 ($o) must be of type C, A given, called in %s on line %d
+				C::ping(): Argument #1 ($o) must be of type C, B given, called in %s on line %d
+Class: D
+	Method: bar
+		Type: parent
+		Instance of: ReflectionRelativeClassType
+			Resolved Type: B
+			Instance of: ReflectionNamedType
+				C::bar(): Argument #1 ($o) must be of type B, A given, called in %s on line %d
+	Method: ping
+		Type: self
+		Instance of: ReflectionRelativeClassType
+			Resolved Type: C
+			Instance of: ReflectionNamedType
+				C::ping(): Argument #1 ($o) must be of type C, A given, called in %s on line %d
+				C::ping(): Argument #1 ($o) must be of type C, B given, called in %s on line %d