Remove explicit values in runtime exceptions

Author: SerafimArts

example/03.types/03.custom-type-template-arguments.php

@@ -63,7 +63,7 @@ public function cast(mixed $value, Context $context): mixed
             return $this->type->cast($value, $context);
         }
 
-        throw InvalidValueException::createFromContext($value, $context);
+        throw InvalidValueException::createFromContext($context);
     }
 }
 

src/Exception/Runtime/ClassException.php

@@ -12,7 +12,7 @@
  * @template-extends ValueOfTypeException<class-string<TObject>>
  */
 abstract class ClassException extends ValueOfTypeException implements
-    FinalExceptionInterface
+    NotInterceptableExceptionInterface
 {
     /**
      * @param class-string<TObject> $class unlike {@see ValueException::$value},

src/Exception/Runtime/InvalidIterableKeyException.php

@@ -42,24 +42,19 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of iterable
-     *
-     * @param int<0, max> $index
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<iterable<array-key, mixed>>
      */
     public static function createFromContext(
         int $index,
         mixed $key,
-        iterable $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
+        /** @var self<iterable<array-key, mixed>> */
         return self::createFromPath(
             index: $index,
             key: $key,
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/InvalidIterableValueException.php

@@ -50,26 +50,21 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of iterable
-     *
-     * @param int<0, max> $index
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<iterable<array-key, mixed>>
      */
     public static function createFromContext(
         mixed $element,
         int $index,
         mixed $key,
-        mixed $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
+        /** @var self<iterable<array-key, mixed>> */
         return self::createFromPath(
             element: $element,
             index: $index,
             key: $key,
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/InvalidObjectValueException.php

@@ -45,26 +45,21 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of array|object
-     *
-     * @param non-empty-string $field
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<array<array-key, mixed>|object>
      */
     public static function createFromContext(
         mixed $element,
         string $field,
         ?TypeStatement $expected,
-        array|object $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
+        /** @var self<array<array-key, mixed>|object> */
         return self::createFromPath(
             element: $element,
             field: $field,
             expected: $expected,
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/InvalidValueException.php

@@ -37,19 +37,14 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of mixed
-     *
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<mixed>
      */
     public static function createFromContext(
-        mixed $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
         return self::createFromPath(
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/InvalidValueOfTypeException.php

@@ -13,7 +13,7 @@
  * @template-extends ValueOfTypeException<TValue>
  */
 class InvalidValueOfTypeException extends ValueOfTypeException implements
-    FinalExceptionInterface
+    NotInterceptableExceptionInterface
 {
     /**
      * @template TArgValue of mixed
@@ -41,21 +41,16 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of mixed
-     *
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<mixed>
      */
     public static function createFromContext(
         TypeStatement $expected,
-        mixed $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
         return self::createFromPath(
             expected: $expected,
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/IterableException.php

@@ -11,7 +11,7 @@
  * @template-extends ValueException<TValue>
  */
 abstract class IterableException extends ValueException implements
-    FinalExceptionInterface
+    NotInterceptableExceptionInterface
 {
     /**
      * @param TValue $value unlike {@see ValueException::$value}, this exception

src/Exception/Runtime/MissingRequiredObjectFieldException.php

@@ -43,24 +43,19 @@ public static function createFromPath(
     }
 
     /**
-     * @template TArgValue of array|object
-     *
-     * @param non-empty-string $field
-     * @param TArgValue $value
-     *
-     * @return self<TArgValue>
+     * @return self<array<array-key, mixed>|object>
      */
     public static function createFromContext(
         string $field,
         ?TypeStatement $expected,
-        array|object $value,
         Context $context,
         ?\Throwable $previous = null,
     ): self {
+        /** @var self<array<array-key, mixed>|object> */
         return self::createFromPath(
             field: $field,
             expected: $expected,
-            value: $value,
+            value: $context->value,
             path: $context->getPath(),
             previous: $previous,
         );

src/Exception/Runtime/FinalExceptionInterface.php renamed to src/Exception/Runtime/NotInterceptableExceptionInterface.php

@@ -33,4 +33,4 @@
  * }
  * ```
  */
-interface FinalExceptionInterface extends MapperExceptionInterface {}
+interface NotInterceptableExceptionInterface extends MapperExceptionInterface {}