Add type resolver

Author: Kirill Nesmeyanov

src/Node/Identifier.php

@@ -53,15 +53,33 @@ public function __construct(
      */
     public function isSpecial(): bool
     {
-        return \in_array($this->value, self::SPECIAL_CLASS_NAME, true);
+        return self::looksLikeSpecial($this->value);
+    }
+
+    /**
+     * Returns {@see true} in case of passed "$name" argument looks like
+     * a special type name or {@see false} instead.
+     */
+    public static function looksLikeSpecial(string $name): bool
+    {
+        return \in_array(\strtolower($name), self::SPECIAL_CLASS_NAME, true);
     }
 
     /**
      * Returns {@see true} in case of name contains builtin type name.
      */
     public function isBuiltin(): bool
     {
-        return \in_array($this->value, self::BUILTIN_TYPE_NAME, true);
+        return self::looksLikeBuiltin($this->value);
+    }
+
+    /**
+     * Returns {@see true} in case of passed "$name" argument looks like
+     * a builtin type name or {@see false} instead.
+     */
+    public static function looksLikeBuiltin(string $value): bool
+    {
+        return \in_array(\strtolower($value), self::BUILTIN_TYPE_NAME, true);
     }
 
     /**

src/Node/Name.php

@@ -40,6 +40,10 @@ final public function __construct(iterable|string|Identifier $name)
      */
     private function parseName(iterable|string|Identifier $name): array
     {
+        if (\is_string($name)) {
+            $name = \array_filter(\explode('\\', $name));
+        }
+
         if (\is_iterable($name)) {
             $result = [];
 
@@ -110,6 +114,70 @@ public function slice(int $offset = 0, int $length = null): self
         return new static(\array_slice($this->parts, $offset, $length));
     }
 
+    /**
+     * Appends the passed {@see Name} to the existing one at the end.
+     *
+     * ```php
+     *  $name = new Name('Some\Any');
+     *
+     *  echo $name->withAdded(new Name('Test\Class'));
+     *  > "Some\Any\Test\Class"
+     *
+     *  echo $name->withAdded(new Name('Any\Class'));
+     *  > "Some\Any\Any\Class"
+     * ```
+     */
+    public function withAdded(self $name): self
+    {
+        return new static([
+            ...$this->parts,
+            ...$name->parts,
+        ]);
+    }
+
+    /**
+     * Combines two names into one (in case the last one is an alias).
+     *
+     * ```php
+     *   $name = new Name('Some\Any');
+     *
+     *   echo $name->mergeWith(new Name('Test\Class'));
+     *   > "Some\Any\Class"
+     *
+     *   echo $name->mergeWith(new Name('Any\Class'));
+     *   > "Some\Any\Class"
+     * ```
+     *
+     * Real world use case:
+     * ```php
+     *  // use TypeLang\Parser\Node;
+     *  // echo Node::class;
+     *
+     *  $name = new Name('TypeLang\Parser\Node');
+     *  echo $name->mergeWith(new Name('Node'));
+     *
+     *  // > TypeLang\Parser\Node
+     * ```
+     *
+     * Or aliased:
+     * ```php
+     *  // use TypeLang\Parser\Exception as Error;
+     *  // echo Error\SemanticException::class;
+     *
+     *  $name = new Name('TypeLang\Parser\Exception');
+     *  echo $name->mergeWith(new Name('Error\SemanticException'));
+     *
+     *  // > TypeLang\Parser\Exception\SemanticException
+     * ```
+     */
+    public function mergeWith(self $name): self
+    {
+        return new static([
+            ...$this->parts,
+            ...\array_slice($name->parts, 1),
+        ]);
+    }
+
     /**
      * Convert name to full qualified name instance.
      */

src/Node/NodeList.php

@@ -15,7 +15,7 @@ abstract class NodeList extends Node implements \IteratorAggregate, \Countable
      * @param list<TNode> $list
      */
     public function __construct(
-        public readonly array $list = [],
+        public array $list = [],
     ) {}
 
     public function getIterator(): \Traversable

src/Node/Stmt/CallableTypeNode.php

@@ -10,8 +10,8 @@
 class CallableTypeNode extends TypeStatement
 {
     public function __construct(
-        public readonly Name $name,
-        public readonly ParametersListNode $parameters = new ParametersListNode(),
-        public readonly ?TypeStatement $type = null,
+        public Name $name,
+        public ParametersListNode $parameters = new ParametersListNode(),
+        public ?TypeStatement $type = null,
     ) {}
 }

src/Node/Stmt/ClassConstMaskNode.php

@@ -10,7 +10,7 @@
 class ClassConstMaskNode extends TypeStatement
 {
     public function __construct(
-        public readonly Name $class,
-        public readonly ?Identifier $constant = null,
+        public Name $class,
+        public ?Identifier $constant = null,
     ) {}
 }

src/Node/Stmt/Condition/Condition.php

@@ -10,7 +10,7 @@
 abstract class Condition extends Statement
 {
     public function __construct(
-        public readonly TypeStatement $subject,
-        public readonly TypeStatement $target,
+        public TypeStatement $subject,
+        public TypeStatement $target,
     ) {}
 }

src/Node/Stmt/ConstMaskNode.php

@@ -9,7 +9,7 @@
 class ConstMaskNode extends TypeStatement implements \Stringable
 {
     public function __construct(
-        public readonly Name $name,
+        public Name $name,
     ) {}
 
     public function __toString(): string

src/Node/Stmt/GenericTypeStmt.php

@@ -13,6 +13,6 @@ abstract class GenericTypeStmt extends TypeStatement
      * @param T $type
      */
     public function __construct(
-        public readonly TypeStatement $type,
+        public TypeStatement $type,
     ) {}
 }

src/Node/Stmt/LogicalTypeNode.php

@@ -13,7 +13,7 @@ abstract class LogicalTypeNode extends TypeStatement implements \IteratorAggrega
     /**
      * @var non-empty-list<T>
      */
-    public readonly array $statements;
+    public array $statements;
 
     public function __construct(
         TypeStatement $a,

src/Node/Stmt/NamedTypeNode.php

@@ -11,8 +11,8 @@
 class NamedTypeNode extends TypeStatement
 {
     public function __construct(
-        public readonly Name $name,
-        public readonly ?ArgumentsListNode $arguments = null,
-        public readonly ?FieldsListNode $fields = null,
+        public Name $name,
+        public ?ArgumentsListNode $arguments = null,
+        public ?FieldsListNode $fields = null,
     ) {}
 }