Add config drivers

Author: SerafimArts

composer.json

@@ -34,6 +34,8 @@
         "symfony/property-access": "^5.4|^6.0|^7.0",
         "symfony/stopwatch": "^5.4|^6.0|^7.0",
         "symfony/var-dumper": "^5.4|^6.0|^7.0",
+        "symfony/yaml": "^5.4|^6.0|^7.0",
+        "nette/neon": "^3.0",
         "type-lang/phpdoc": "^1.0",
         "type-lang/phpdoc-standard-tags": "^1.0"
     },
@@ -43,8 +45,11 @@
         }
     },
     "suggest": {
-        "type-lang/phpdoc-standard-tags": "(^1.0) Required for DocBlockDriver mapping driver support",
-        "justinrainbow/json-schema": "(^5.3|^6.0) Required for configuration drivers validation"
+        "ext-json": "Required for JSON mapping configuration files",
+        "nette/neon": "(^3.0) Required for NEON mapping configuration files",
+        "symfony/yaml": "(^5.4|^6.0|^7.0) Required for YAML mapping configuration files",
+        "type-lang/phpdoc-standard-tags": "(^1.0) Required for PhpDoc mapping configuration",
+        "justinrainbow/json-schema": "(^5.3|^6.0) Required for file-based configuration validation"
     },
     "extra": {
         "branch-alias": {

resources/config.schema.json

@@ -24,6 +24,7 @@
                 "map": {
                     "type": "object",
                     "description": "List of values for discriminator map. Each key must contain a value for the configured field",
+                    "minProperties": 1,
                     "patternProperties": {
                         "^.+?$": {
                             "type": "string",
@@ -61,6 +62,11 @@
                                     "description": "Specific property type",
                                     "minLength": 1
                                 },
+                                "write": {
+                                    "type": "string",
+                                    "description": "Specific property write type",
+                                    "minLength": 1
+                                },
                                 "type_error_message": {
                                     "type": "string",
                                     "minLength": 1,

src/Mapping/Metadata/ClassMetadata.php

@@ -6,6 +6,10 @@
 
 use TypeLang\Mapper\Mapping\Metadata\ClassMetadata\DiscriminatorMetadata;
 use TypeLang\Mapper\Mapping\Metadata\ClassMetadata\PropertyMetadata;
+use TypeLang\Mapper\Runtime\Context;
+use TypeLang\Parser\Node\Stmt\NamedTypeNode;
+use TypeLang\Parser\Node\Stmt\Shape\FieldsListNode;
+use TypeLang\Parser\Node\Stmt\TypeStatement;
 
 /**
  * Represents an abstraction over general information about a class.
@@ -55,4 +59,36 @@ public function __construct(
     ) {
         parent::__construct($createdAt);
     }
+
+    /**
+     * Dynamically creates AST class representation.
+     *
+     * Required to print type information in exceptions.
+     *
+     * @codeCoverageIgnore
+     */
+    public function getTypeStatement(Context $context, bool $read): TypeStatement
+    {
+        if (!$context->isDetailedTypes()) {
+            return new NamedTypeNode($this->name);
+        }
+
+        $fields = [];
+
+        foreach ($this->properties as $property) {
+            $field = $property->getFieldNode($context, $read);
+
+            if ($field === null) {
+                continue;
+            }
+
+            $fields[] = $field;
+        }
+
+        if ($fields === []) {
+            return new NamedTypeNode($this->name);
+        }
+
+        return new NamedTypeNode($this->name, fields: new FieldsListNode($fields));
+    }
 }

src/Mapping/Metadata/ClassMetadata/DiscriminatorInfo.php

@@ -4,9 +4,11 @@
 
 namespace TypeLang\Mapper\Mapping\Metadata\ClassMetadata;
 
+use TypeLang\Mapper\Mapping\Metadata\MetadataInfo;
+use TypeLang\Mapper\Mapping\Metadata\SourceInfo;
 use TypeLang\Mapper\Mapping\Metadata\TypeInfo;
 
-final class DiscriminatorInfo
+final class DiscriminatorInfo extends MetadataInfo
 {
     public function __construct(
         /**
@@ -18,5 +20,8 @@ public function __construct(
          */
         public array $map,
         public ?TypeInfo $default = null,
-    ) {}
+        ?SourceInfo $source = null,
+    ) {
+        parent::__construct($source);
+    }
 }

src/Mapping/Metadata/ClassMetadata/PropertyInfo.php

@@ -6,9 +6,11 @@
 
 use TypeLang\Mapper\Mapping\Metadata\ClassMetadata\PropertyMetadata\DefaultValueInfo;
 use TypeLang\Mapper\Mapping\Metadata\ConditionInfo;
+use TypeLang\Mapper\Mapping\Metadata\MetadataInfo;
+use TypeLang\Mapper\Mapping\Metadata\SourceInfo;
 use TypeLang\Mapper\Mapping\Metadata\TypeInfo;
 
-final class PropertyInfo
+final class PropertyInfo extends MetadataInfo
 {
     /**
      * @var non-empty-string
@@ -41,8 +43,11 @@ public function __construct(
          * @var non-empty-string
          */
         public readonly string $name,
+        ?SourceInfo $source = null,
     ) {
         $this->alias = $name;
         $this->read = $this->write = new TypeInfo('mixed');
+
+        parent::__construct($source);
     }
 }

src/Mapping/Metadata/ClassMetadata/PropertyMetadata.php

@@ -8,6 +8,10 @@
 use TypeLang\Mapper\Mapping\Metadata\ConditionMetadata;
 use TypeLang\Mapper\Mapping\Metadata\Metadata;
 use TypeLang\Mapper\Mapping\Metadata\TypeMetadata;
+use TypeLang\Mapper\Runtime\Context;
+use TypeLang\Parser\Node\Stmt\NamedTypeNode;
+use TypeLang\Parser\Node\Stmt\Shape\NamedFieldNode;
+use TypeLang\Parser\Node\Stmt\TypeStatement;
 
 final class PropertyMetadata extends Metadata
 {
@@ -61,4 +65,44 @@ public function __construct(
     ) {
         parent::__construct($createdAt);
     }
+
+    /**
+     * Dynamically creates AST type representation.
+     *
+     * @codeCoverageIgnore
+     */
+    public function getTypeStatement(Context $context, bool $read): TypeStatement
+    {
+        $info = $read ? $this->read : $this->write;
+
+        $statement = clone $info->statement;
+
+        if ($context->isDetailedTypes() || !$statement instanceof NamedTypeNode) {
+            return $statement;
+        }
+
+        return new NamedTypeNode($statement->name);
+    }
+
+    /**
+     * Dynamically creates AST field representation.
+     *
+     * @codeCoverageIgnore
+     */
+    public function getFieldNode(Context $context, bool $read): NamedFieldNode
+    {
+        $statement = $this->getTypeStatement($context, $read);
+
+        $name = $this->name;
+
+        if ($context->isDenormalization()) {
+            $name = $this->alias;
+        }
+
+        return new NamedFieldNode(
+            key: $name,
+            of: $statement,
+            optional: $this->default !== null,
+        );
+    }
 }

src/Mapping/Metadata/ClassMetadata/PropertyMetadata/DefaultValueInfo.php

@@ -4,9 +4,15 @@
 
 namespace TypeLang\Mapper\Mapping\Metadata\ClassMetadata\PropertyMetadata;
 
-final class DefaultValueInfo
+use TypeLang\Mapper\Mapping\Metadata\MetadataInfo;
+use TypeLang\Mapper\Mapping\Metadata\SourceInfo;
+
+final class DefaultValueInfo extends MetadataInfo
 {
     public function __construct(
         public readonly mixed $value,
-    ) {}
+        ?SourceInfo $source = null,
+    ) {
+        parent::__construct($source);
+    }
 }

src/Mapping/Metadata/Condition/ExpressionConditionInfo.php

@@ -5,6 +5,7 @@
 namespace TypeLang\Mapper\Mapping\Metadata\Condition;
 
 use TypeLang\Mapper\Mapping\Metadata\ConditionInfo;
+use TypeLang\Mapper\Mapping\Metadata\SourceInfo;
 
 final class ExpressionConditionInfo extends ConditionInfo
 {
@@ -22,5 +23,8 @@ public function __construct(
          * @var non-empty-string
          */
         public readonly string $context = self::DEFAULT_CONTEXT_VARIABLE_NAME,
-    ) {}
+        ?SourceInfo $source = null,
+    ) {
+        parent::__construct($source);
+    }
 }

src/Mapping/Metadata/ConditionInfo.php

@@ -4,4 +4,4 @@
 
 namespace TypeLang\Mapper\Mapping\Metadata;
 
-abstract class ConditionInfo {}
+abstract class ConditionInfo extends MetadataInfo {}

src/Mapping/Metadata/MetadataInfo.php

@@ -0,0 +1,12 @@
+<?php
+
+declare(strict_types=1);
+
+namespace TypeLang\Mapper\Mapping\Metadata;
+
+abstract class MetadataInfo
+{
+    public function __construct(
+        public ?SourceInfo $source = null,
+    ) {}
+}