WIP: Parsica parse TemplateLiteralNode

All ExpressionParser tests are green

Author: mhsdesign

src/Parser/Ast/TemplateLiteralNode.php

@@ -35,7 +35,7 @@ final class TemplateLiteralNode implements \JsonSerializable
      */
     public readonly array $segments;
 
-    private function __construct(
+    public function __construct(
         StringLiteralNode|ExpressionNode ...$segments
     ) {
         $this->segments = $segments;

src/Parser/Parser/Expression/ExpressionParser.php

@@ -34,6 +34,7 @@
 use PackageFactory\ComponentEngine\Parser\Parser\PrecedenceParser;
 use PackageFactory\ComponentEngine\Parser\Parser\StringLiteral\StringLiteralParser;
 use PackageFactory\ComponentEngine\Parser\Parser\Tag\TagParser;
+use PackageFactory\ComponentEngine\Parser\Parser\TemplateLiteral\TemplateLiteralParser;
 use PackageFactory\ComponentEngine\Parser\Parser\TernaryOperation\TernaryOperationParser;
 use PackageFactory\ComponentEngine\Parser\Parser\UnaryOperation\UnaryOperationParser;
 use Parsica\Parsica\Parser;
@@ -53,6 +54,7 @@ public static function get(Precedence $precedence = Precedence::SEQUENCE): Parse
             TagParser::get(),
             StringLiteralParser::get(),
             IdentifierParser::get(),
+            TemplateLiteralParser::get(),
             UnaryOperationParser::get()
         ));
 

src/Parser/Parser/StringLiteral/StringLiteralParser.php

@@ -23,10 +23,9 @@
 namespace PackageFactory\ComponentEngine\Parser\Parser\StringLiteral;
 
 use PackageFactory\ComponentEngine\Parser\Ast\StringLiteralNode;
+use PackageFactory\ComponentEngine\Parser\Parser\UtilityParser;
 use Parsica\Parsica\Parser;
 
-use function Parsica\Parsica\{anySingle, append, between, char, assemble, either, takeWhile, zeroOrMore};
-
 final class StringLiteralParser
 {
     private static ?Parser $instance = null;
@@ -38,32 +37,6 @@ public static function get(): Parser
 
     private static function build(): Parser
     {
-        // labels, and escaping handling
-        // also maybe use bind with the start character instead of two parsers
-        return either(
-            self::forQuotedStringType('\''),
-            self::forQuotedStringType('"')
-        )->map(fn (string $contents) => new StringLiteralNode($contents));
-    }
-
-    private static function forQuotedStringType(string $qouteType): Parser
-    {
-        assert($qouteType === '"' || $qouteType === '\'');
-        $takeAllNonBackslashesAndQuoteChars = takeWhile(
-            fn (string $char): bool => $char !== $qouteType && $char !== '\\'
-        );
-        return between(
-            char($qouteType),
-            char($qouteType),
-            append(
-                $takeAllNonBackslashesAndQuoteChars,
-                zeroOrMore(
-                    append(
-                        char("\\")->followedBy(anySingle()),
-                        $takeAllNonBackslashesAndQuoteChars,
-                    )
-                )
-            )
-        );
+        return UtilityParser::quotedStringContents()->map(fn (string $contents) => new StringLiteralNode($contents));
     }
 }

src/Parser/Parser/TemplateLiteral/TemplateLiteralParser.php

@@ -0,0 +1,68 @@
+<?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\Parser\Parser\TemplateLiteral;
+
+use PackageFactory\ComponentEngine\Parser\Ast\StringLiteralNode;
+use PackageFactory\ComponentEngine\Parser\Ast\TemplateLiteralNode;
+use PackageFactory\ComponentEngine\Parser\Parser\Expression\ExpressionParser;
+use Parsica\Parsica\Parser;
+
+use function Parsica\Parsica\any;
+use function Parsica\Parsica\char;
+use function Parsica\Parsica\string;
+use function Parsica\Parsica\takeWhile1;
+use function Parsica\Parsica\zeroOrMore;
+
+final class TemplateLiteralParser
+{
+    private static ?Parser $instance = null;
+
+    public static function get(): Parser
+    {
+        return self::$instance ??= self::build();
+    }
+
+    private static function build(): Parser
+    {
+        return char('`')->bind(
+            fn () => zeroOrMore(
+                any(
+                    self::stringLiteral(),
+                    self::expression(),
+                )->map(fn ($item) => [$item])
+            )->map(fn ($collected) => new TemplateLiteralNode(...$collected ? $collected : []))
+                ->thenIgnore(char('`'))
+        );
+    }
+
+    private static function expression(): Parser
+    {
+        return string('${')->followedBy(ExpressionParser::get())->thenIgnore(char('}'));
+    }
+
+    private static function stringLiteral(): Parser
+    {
+        // @todo escapes? or allow `single unescaped $ dollar?`
+        return takeWhile1(fn ($char) => $char !== '$' && $char !== '`')->map(fn ($text) => new StringLiteralNode($text));
+    }
+}

src/Parser/Parser/UtilityParser.php

@@ -28,8 +28,36 @@
 use Parsica\Parsica\ParseResult;
 use Parsica\Parsica\Stream;
 
+use function Parsica\Parsica\anySingle;
+use function Parsica\Parsica\append;
+use function Parsica\Parsica\char;
+use function Parsica\Parsica\oneOfS;
+use function Parsica\Parsica\takeWhile;
+use function Parsica\Parsica\zeroOrMore;
+
 final class UtilityParser
 {
+    /**
+     * @return Parser<string>
+     */
+    public static function quotedStringContents(): Parser
+    {
+        // labels, and escaping handling
+        return oneOfS('"\'')->bind(
+            fn (string $startingQuoteChar) => append(
+                $simpleCase = takeWhile(
+                    fn (string $char): bool => $char !== $startingQuoteChar && $char !== '\\'
+                ),
+                zeroOrMore(
+                    append(
+                        char('\\')->followedBy(anySingle()),
+                        $simpleCase,
+                    )
+                )
+            )->thenIgnore(char($startingQuoteChar))
+        );
+    }
+
     /**
      * A multi character compatible version (eg. for strings) of {@see oneOf()}
      *