WIP: Task: test providesTheEnumInstanceTypeWhenAnStaticEnumTypeIsReferencedInTheComponentApi

Author: mhsdesign

src/TypeSystem/Type/EnumType/EnumInstanceType.php

@@ -42,7 +42,7 @@ enumStaticType: $enumStaticType,
             memberName: null
         );
     }
-    
+
     public static function fromStaticEnumAndMemberName(EnumStaticType $enumStaticType, string $enumMemberName): self
     {
         return new self(
@@ -53,6 +53,13 @@ enumStaticType: $enumStaticType,
 
     public function is(TypeInterface $other): bool
     {
+        if ($other === $this) {
+            return true;
+        }
+        if ($other instanceof EnumInstanceType) {
+            return $other->enumStaticType->is($other->enumStaticType)
+                && $other->memberName === $this->memberName;
+        }
         return false;
     }
 }

test/Unit/TypeSystem/Scope/ComponentScope/ComponentScopeTest.php

@@ -22,11 +22,14 @@
 
 namespace PackageFactory\ComponentEngine\Test\Unit\TypeSystem\Scope\ComponentScope;
 
+use PackageFactory\ComponentEngine\Module\ModuleId;
 use PackageFactory\ComponentEngine\Parser\Ast\ComponentDeclarationNode;
+use PackageFactory\ComponentEngine\Parser\Ast\EnumDeclarationNode;
 use PackageFactory\ComponentEngine\Parser\Ast\TypeReferenceNode;
 use PackageFactory\ComponentEngine\Test\Unit\TypeSystem\Scope\Fixtures\DummyScope;
 use PackageFactory\ComponentEngine\TypeSystem\Scope\ComponentScope\ComponentScope;
 use PackageFactory\ComponentEngine\TypeSystem\Scope\GlobalScope\GlobalScope;
+use PackageFactory\ComponentEngine\TypeSystem\Type\EnumType\EnumStaticType;
 use PackageFactory\ComponentEngine\TypeSystem\Type\NumberType\NumberType;
 use PackageFactory\ComponentEngine\TypeSystem\Type\StringType\StringType;
 use PHPUnit\Framework\TestCase;
@@ -63,6 +66,43 @@ public function providesTheTypesOfComponentApiMembers(): void
         );
     }
 
+    /**
+     * @test
+     * @return void
+     */
+    public function providesTheEnumInstanceTypeWhenAnStaticEnumTypeIsReferencedInTheComponentApi(): void
+    {
+        $componentDeclarationAsString = <<<EOT
+        component Foo {
+            foo: SomeEnum
+
+            return <div>{foo}</div>
+        }
+        EOT;
+        $componentDeclarationNode = ComponentDeclarationNode::fromString($componentDeclarationAsString);
+        $componentScope = new ComponentScope(
+            componentDeclarationNode: $componentDeclarationNode,
+            parentScope: new DummyScope([], [
+                'SomeEnum' => $enumStaticType = EnumStaticType::fromModuleIdAndDeclaration(
+                    ModuleId::fromString("module-a"),
+                    EnumDeclarationNode::fromString(
+                        'enum SomeEnum { A B C }'
+                    )
+                )
+            ])
+        );
+
+        $expectedType = $enumStaticType->toEnumInstanceType();
+        $actualType = $componentScope->lookupTypeFor('foo');
+
+        $this->assertNotNull($actualType);
+
+        $this->assertTrue(
+            $expectedType->is($actualType),
+            sprintf('Expected %s, got %s', $expectedType::class, $actualType::class)
+        );
+    }
+
     /**
      * @test
      * @return void
@@ -122,4 +162,4 @@ public function resolvesTypeReferencesUsingParentScope(): void
             sprintf('Expected %s, got %s', $expectedType::class, $actualType::class)
         );
     }
-}
+}