Merge pull request #7 from mrsuh/php-parser

php 8.2

Author: mrsuh

.github/workflows/tests.yml

@@ -15,6 +15,7 @@ jobs:
                     - "7.4"
                     - "8.0"
                     - "8.1"
+                    - "8.2"
                 operating-system:
                     - "ubuntu-latest"
 

src/Compiler/Parser.php

@@ -158,6 +158,12 @@ public static function getNodeTypes(Node &$node): array
             case $node instanceof Node\NullableType:
                 return [&$node->type];
             case $node instanceof Node\UnionType:
+                $nodeTypes = [];
+                foreach ($node->types as &$nodeType) {
+                    $nodeTypes = array_merge($nodeTypes, self::getNodeTypes($nodeType));
+                }
+                return $nodeTypes;
+            case $node instanceof Node\IntersectionType:
                 return $node->types;
             default:
                 throw new \TypeError(sprintf('Invalid node type "%s" for getNodeTypes()', get_class($node)));

tests/monomorphic/220-disjunctive-normal-form/input/Command/Usage.php

@@ -0,0 +1,10 @@
+<?php
+
+namespace Test\Command;
+
+use Test\Generic\Box;
+
+class Usage extends Box<>
+{
+
+}

tests/monomorphic/220-disjunctive-normal-form/input/Entity/Bird.php

@@ -0,0 +1,8 @@
+<?php
+
+namespace Test\Entity;
+
+class Bird
+{
+
+}

tests/monomorphic/220-disjunctive-normal-form/input/Entity/Cat.php

@@ -0,0 +1,8 @@
+<?php
+
+namespace Test\Entity;
+
+class Cat
+{
+
+}

tests/monomorphic/220-disjunctive-normal-form/input/Generic/Box.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace Test\Generic;
+
+use Test\Entity\Bird;
+use Test\Entity\Cat;
+
+class Box<BoxA = Bird,BoxB = Cat,BoxC = int> {
+
+    public function test($obj): void {
+        var_dump(Container<BoxA, Cat, BoxC>::class);
+    }
+}

tests/monomorphic/220-disjunctive-normal-form/input/Generic/Container.php

@@ -0,0 +1,12 @@
+<?php
+
+namespace Test\Generic;
+
+class Container<ContainerA,ContainerB,ContainerC>  {
+
+    private readonly null|(ContainerA&ContainerB)|ContainerC|false|true $content = null;//@todo https://github.com/nikic/PHP-Parser/issues/910
+
+    public function setContent((ContainerA&ContainerB)|ContainerC|null|false|true $content): (ContainerA&ContainerB)|ContainerC|null|false|true {
+
+    }
+}

tests/monomorphic/220-disjunctive-normal-form/output/Command/Usage.php

@@ -0,0 +1,8 @@
+<?php
+
+namespace Test\Command;
+
+use Test\Generic\Box;
+class Usage extends \Test\Generic\BoxForTestEntityBirdAndTestEntityCatAndInt
+{
+}

tests/monomorphic/220-disjunctive-normal-form/output/Generic/BoxForTestEntityBirdAndTestEntityCatAndInt.php

@@ -0,0 +1,13 @@
+<?php
+
+namespace Test\Generic;
+
+use Test\Entity\Bird;
+use Test\Entity\Cat;
+class BoxForTestEntityBirdAndTestEntityCatAndInt
+{
+    public function test($obj): void
+    {
+        var_dump(\Test\Generic\ContainerForTestEntityBirdAndTestEntityCatAndInt::class);
+    }
+}

tests/monomorphic/220-disjunctive-normal-form/output/Generic/ContainerForTestEntityBirdAndTestEntityCatAndInt.php

@@ -0,0 +1,12 @@
+<?php
+
+namespace Test\Generic;
+
+class ContainerForTestEntityBirdAndTestEntityCatAndInt
+{
+    private readonly null|(\Test\Entity\Bird&\Test\Entity\Cat)|int|false|true $content = null;
+    //@todo https://github.com/nikic/PHP-Parser/issues/910
+    public function setContent((\Test\Entity\Bird&\Test\Entity\Cat)|int|null|false|true $content): (\Test\Entity\Bird&\Test\Entity\Cat)|int|null|false|true
+    {
+    }
+}