Merge pull request #11 from PackageFactory/feature/optchain-access

FEATURE: Implement optchain

Author: mhsdesign

src/Definition/Precedence.php

@@ -50,6 +50,7 @@ public static function forTokenType(TokenType $tokenType): self
             TokenType::BRACKET_ROUND_CLOSE,
             TokenType::BRACKET_SQUARE_OPEN,
             TokenType::BRACKET_SQUARE_CLOSE,
+            TokenType::OPTCHAIN,
             TokenType::PERIOD => self::ACCESS,
 
             TokenType::OPERATOR_BOOLEAN_NOT => self::UNARY,

src/Parser/Ast/ExpressionNode.php

@@ -145,6 +145,7 @@ public static function fromTokens(\Iterator $tokens, Precedence $precedence = Pr
                     $root = BinaryOperationNode::fromTokens(new self(root: $root), $tokens);
                     break;
                 case TokenType::PERIOD:
+                case TokenType::OPTCHAIN:
                     $root = AccessNode::fromTokens(new self(root: $root), $tokens);
                     break;
                 case TokenType::QUESTIONMARK:

src/Parser/Tokenizer/Tokenizer.php

@@ -292,6 +292,7 @@ public static function symbol(\Iterator $fragments, ?Buffer $buffer = null): \It
             '!==' => $buffer->flush(TokenType::COMPARATOR_NOT_EQUAL),
             '->' => $buffer->flush(TokenType::ARROW_SINGLE),
             ':' => $buffer->flush(TokenType::COLON),
+            '?.' => $buffer->flush(TokenType::OPTCHAIN),
             '.' => $buffer->flush(TokenType::PERIOD),
             ',' => $buffer->flush(TokenType::COMMA),
             '=' => $buffer->flush(TokenType::EQUALS),

src/Target/Php/Transpiler/Access/AccessTranspiler.php

@@ -22,6 +22,7 @@
 
 namespace PackageFactory\ComponentEngine\Target\Php\Transpiler\Access;
 
+use PackageFactory\ComponentEngine\Definition\AccessType;
 use PackageFactory\ComponentEngine\Parser\Ast\AccessNode;
 use PackageFactory\ComponentEngine\Target\Php\Transpiler\Expression\ExpressionTranspiler;
 use PackageFactory\ComponentEngine\TypeSystem\Resolver\Expression\ExpressionTypeResolver;
@@ -49,6 +50,8 @@ public function transpile(AccessNode $accessNode): string
         foreach ($accessNode->chain->items as $accessChainNode) {
             if ($typeOfRoot instanceof EnumStaticType && $isFirstElement) {
                 $result .= '::';
+            } elseif ($accessChainNode->accessType === AccessType::OPTIONAL) {
+                $result .= '?->';
             } else {
                 $result .= '->';
             }

test/Unit/Target/Php/Transpiler/Access/AccessTranspilerTest.php

@@ -43,6 +43,9 @@ public function accessExamples(): array
             'a.b' => ['a.b', '$this->a->b'],
             'a.b.c' => ['a.b.c', '$this->a->b->c'],
             'SomeEnum.A' => ['SomeEnum.A', 'SomeEnum::A'],
+            'someStruct.foo' => ['someStruct.foo', '$this->someStruct->foo'],
+            'someStruct?.foo' => ['someStruct?.foo', '$this->someStruct?->foo'],
+            'someStruct.deep?.foo' => ['someStruct.deep?.foo', '$this->someStruct->deep?->foo']
         ];
     }
 
@@ -66,6 +69,15 @@ public function transpilesAccessNodes(string $accessAsString, string $expectedTr
                     EnumDeclarationNode::fromString(
                         'enum SomeEnum { A B C }'
                     )
+                ),
+                'someStruct' => StructType::fromStructDeclarationNode(
+                    StructDeclarationNode::fromString(<<<'AFX'
+                        struct SomeStruct {
+                            foo: string
+                            deep: ?SomeStruct
+                        }
+                        AFX
+                    )
                 )
             ])
         );