TASK: WIP AccessTypeResolver

Author: mhsdesign

src/TypeSystem/Resolver/Access/AccessTypeResolver.php

@@ -0,0 +1,52 @@
+<?php
+
+/**
+ * PackageFactory.ComponentEngine - Universal View Components for PHP
+ *   Copyright (C) 2022 Contributors of PackageFactory.ComponentEngine
+ *
+ *   This program is free software: you can redistribute it and/or modify
+ *   it under the terms of the GNU General Public License as published by
+ *   the Free Software Foundation, either version 3 of the License, or
+ *   (at your option) any later version.
+ *
+ *   This program is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU General Public License for more details.
+ *
+ *   You should have received a copy of the GNU General Public License
+ *   along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+
+declare(strict_types=1);
+
+namespace PackageFactory\ComponentEngine\TypeSystem\Resolver\Access;
+
+
+use PackageFactory\ComponentEngine\Parser\Ast\AccessNode;
+use PackageFactory\ComponentEngine\TypeSystem\Resolver\Expression\ExpressionTypeResolver;
+use PackageFactory\ComponentEngine\TypeSystem\ScopeInterface;
+use PackageFactory\ComponentEngine\TypeSystem\Type\EnumType\EnumStaticType;
+use PackageFactory\ComponentEngine\TypeSystem\Type\EnumType\EnumType;
+use PackageFactory\ComponentEngine\TypeSystem\Type\StructType\StructType;
+use PackageFactory\ComponentEngine\TypeSystem\TypeInterface;
+
+final class AccessTypeResolver
+{
+    public function __construct(
+        private readonly ScopeInterface $scope
+    ) {
+    }
+
+    public function resolveTypeOf(AccessNode $accessNode): TypeInterface
+    {
+        $expressionResolver = new ExpressionTypeResolver(scope: $this->scope);
+        $rootType = $expressionResolver->resolveTypeOf($accessNode->root);
+        
+        if (!$rootType instanceof EnumType || !$rootType instanceof EnumStaticType || !$rootType instanceof StructType) {
+            throw new \Exception('@TODO: Cannot access on type ' . $rootType::class);
+        }
+        
+        throw new \Exception('@TODO: Enum and StructType Access is not implemented');
+    }
+}

src/TypeSystem/Resolver/Expression/ExpressionTypeResolver.php

@@ -22,6 +22,7 @@
 
 namespace PackageFactory\ComponentEngine\TypeSystem\Resolver\Expression;
 
+use PackageFactory\ComponentEngine\Parser\Ast\AccessNode;
 use PackageFactory\ComponentEngine\Parser\Ast\BinaryOperationNode;
 use PackageFactory\ComponentEngine\Parser\Ast\BooleanLiteralNode;
 use PackageFactory\ComponentEngine\Parser\Ast\ExpressionNode;
@@ -33,6 +34,7 @@
 use PackageFactory\ComponentEngine\Parser\Ast\TagNode;
 use PackageFactory\ComponentEngine\Parser\Ast\TemplateLiteralNode;
 use PackageFactory\ComponentEngine\Parser\Ast\TernaryOperationNode;
+use PackageFactory\ComponentEngine\TypeSystem\Resolver\Access\AccessTypeResolver;
 use PackageFactory\ComponentEngine\TypeSystem\Resolver\BinaryOperation\BinaryOperationTypeResolver;
 use PackageFactory\ComponentEngine\TypeSystem\Resolver\BooleanLiteral\BooleanLiteralTypeResolver;
 use PackageFactory\ComponentEngine\TypeSystem\Resolver\Identifier\IdentifierTypeResolver;
@@ -81,6 +83,9 @@ public function resolveTypeOf(ExpressionNode $expressionNode): TypeInterface
             TernaryOperationNode::class => (new TernaryOperationTypeResolver(
                 scope: $this->scope
             ))->resolveTypeOf($rootNode),
+            AccessNode::class => (new AccessTypeResolver(
+                scope: $this->scope
+            ))->resolveTypeOf($rootNode),
             default => throw new \Exception('@TODO: Resolve type of ' . $expressionNode->root::class)
         };
     }

test/Unit/TypeSystem/Resolver/Access/AccessTypeResolverTest.php

@@ -0,0 +1,61 @@
+<?php
+
+/**
+ * PackageFactory.ComponentEngine - Universal View Components for PHP
+ *   Copyright (C) 2022 Contributors of PackageFactory.ComponentEngine
+ *
+ *   This program is free software: you can redistribute it and/or modify
+ *   it under the terms of the GNU General Public License as published by
+ *   the Free Software Foundation, either version 3 of the License, or
+ *   (at your option) any later version.
+ *
+ *   This program is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU General Public License for more details.
+ *
+ *   You should have received a copy of the GNU General Public License
+ *   along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+
+declare(strict_types=1);
+
+namespace PackageFactory\ComponentEngine\Test\Unit\TypeSystem\Resolver\Access;
+
+use PackageFactory\ComponentEngine\Parser\Ast\AccessNode;
+use PackageFactory\ComponentEngine\Parser\Ast\ExpressionNode;
+use PackageFactory\ComponentEngine\Test\Unit\TypeSystem\Scope\Fixtures\DummyScope;
+use PackageFactory\ComponentEngine\TypeSystem\Resolver\Access\AccessTypeResolver;
+use PackageFactory\ComponentEngine\TypeSystem\Type\StringType\StringType;
+use PHPUnit\Framework\TestCase;
+
+final class AccessTypeResolverTest extends TestCase
+{
+    public function invalidAccessExamples(): iterable
+    {
+        yield 'access property on primitive string' => [
+            'someString.bar',
+            '@TODO: Cannot access on type PackageFactory\ComponentEngine\TypeSystem\Type\StringType\StringType'
+        ];
+    }
+
+    /**
+     * @dataProvider invalidAccessExamples
+     * @test
+     */
+    public function invalidAccessResultsInError(string $accessAsString, string $expectedErrorMessage): void
+    {
+        $this->expectExceptionMessage($expectedErrorMessage);
+        
+        $scope = new DummyScope([
+            'someString' => StringType::get()
+        ]);
+        $accessTypeResolver = new AccessTypeResolver(
+            scope: $scope
+        );
+        $accessNode = ExpressionNode::fromString($accessAsString)->root;
+        assert($accessNode instanceof AccessNode);
+
+        $accessTypeResolver->resolveTypeOf($accessNode);
+    }
+}