Generated types

Author: vudaltsov

generator/Generator.php

@@ -27,8 +27,9 @@ public static function generate(): void
     {
         require_once __DIR__ . '/../vendor/autoload.php';
         self::cleanUp();
-        self::generateVisitor();
         self::generateTypes();
+        self::generateVisitor();
+        self::generateDefaultVisitor();
     }
 
     private static function cleanUp(): void
@@ -43,6 +44,17 @@ private static function cleanUp(): void
         }
     }
 
+    private static function generateTypes(): void
+    {
+        foreach (self::types() as $type) {
+            if ($type->properties === []) {
+                self::writeClass(self::generateAtomicType($type));
+            } else {
+                self::writeClass(self::generateComplexType($type));
+            }
+        }
+    }
+
     private static function generateVisitor(): void
     {
         $visitor = (new InterfaceType('TypeVisitor'))
@@ -60,15 +72,31 @@ private static function generateVisitor(): void
         self::writeClass($visitor);
     }
 
-    private static function generateTypes(): void
+    private static function generateDefaultVisitor(): void
     {
+        $visitor = (new ClassType('DefaultTypeVisitor'))
+            ->setAbstract()
+            ->addImplement(TypeVisitor::class)
+            ->setComment(self::GENERATED_NOTICE . "\n@api\n@template-covariant TResult\n@implements TypeVisitor<TResult>");
+
         foreach (self::types() as $type) {
-            if ($type->properties === []) {
-                self::writeClass(self::generateAtomicType($type));
-            } else {
-                self::writeClass(self::generateComplexType($type));
-            }
+            $visitor
+                ->addMethod($type->name)
+                ->setPublic()
+                ->setReturnType('mixed')
+                ->setBody('return $this->default($type);')
+                ->addParameter('type')->setType($type->className());
         }
+
+        $visitor
+            ->addMethod('default')
+            ->setPublic()
+            ->setAbstract()
+            ->setReturnType('mixed')
+            ->setComment('@return TResult')
+            ->addParameter('type')->setType(Type::class);
+
+        self::writeClass($visitor);
     }
 
     private static function generateAtomicType(TypeSpec $type): EnumType

src/DefaultTypeVisitor.php

@@ -0,0 +1,155 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Typhoon\Type;
+
+/**
+ * This code is generated, do not edit it.
+ *
+ * @api
+ * @template-covariant TResult
+ * @implements TypeVisitor<TResult>
+ */
+abstract class DefaultTypeVisitor implements TypeVisitor
+{
+    public function never(NeverT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function void(VoidT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function null(NullT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function false(FalseT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function true(TrueT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function intRange(IntRangeT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function floatRange(FloatRangeT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function stringValue(StringValueT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function string(StringT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function resource(ResourceT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function union(UnionT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function intersection(IntersectionT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function diff(DiffT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function list(ListT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function array(ArrayT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function classString(ClassStringT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function object(ObjectT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function callable(CallableT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function constant(ConstantT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function classConstant(ClassConstantT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function classConstantMask(ClassConstantMaskT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function namedObject(NamedObjectT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function alias(AliasT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function self(SelfT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function parent(ParentT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function static(StaticT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    public function template(TemplateT $type): mixed
+    {
+        return $this->default($type);
+    }
+
+    /**
+     * @return TResult
+     */
+    abstract public function default(Type $type): mixed;
+}