[Validator] Add Finite constraint

src/Symfony/Component/Validator/CHANGELOG.md

@@ -6,6 +6,7 @@ CHANGELOG
 
  * Allow single integer for the `versions` option of the `Uuid` constraint
  * Allow single constraint to be passed to the `constraints` option of the `When` constraint
+ * Add `Finite` contraint
 
 6.3
 ---

src/Symfony/Component/Validator/Constraints/Finite.php

@@ -0,0 +1,40 @@
+<?php
+
+/*
+ * This file is part of the Symfony package.
+ *
+ * (c) Fabien Potencier <fabien@symfony.com>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace Symfony\Component\Validator\Constraints;
+
+use Symfony\Component\Validator\Constraint;
+
+/**
+ * @Annotation
+ * 
+ * @Target({"PROPERTY", "METHOD", "ANNOTATION"})
+ *
+ * @author Guillaume Aveline <guillaume@codr.fr>
+ */
+#[\Attribute(\Attribute::TARGET_PROPERTY | \Attribute::TARGET_METHOD | \Attribute::IS_REPEATABLE)]
+class Finite extends Constraint
+{
+    public const NOT_FINITE_ERROR = '5f809eb0-78b9-492d-ad37-5a5188390415';
+
+    protected const ERROR_NAMES = [
+        self::NOT_FINITE_ERROR => 'NOT_FINITE_ERROR',
+    ];
+
+    public $message = 'This value should be finite.';
+
+    public function __construct(string $message = null, array $groups = null, mixed $payload = null, array $options = [])
+    {
+        parent::__construct($options, $groups, $payload);
+
+        $this->message = $message ?? $this->message;
+    }
+}

src/Symfony/Component/Validator/Constraints/FiniteValidator.php

@@ -0,0 +1,42 @@
+<?php
+
+/*
+ * This file is part of the Symfony package.
+ *
+ * (c) Fabien Potencier <fabien@symfony.com>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+namespace Symfony\Component\Validator\Constraints;
+
+use Symfony\Component\Validator\Constraint;
+use Symfony\Component\Validator\ConstraintValidator;
+use Symfony\Component\Validator\Exception\UnexpectedTypeException;
+
+/**
+ * @author Guillaume Aveline <guillaume@codr.fr>
+ */
+class FiniteValidator extends ConstraintValidator
+{
+    public function validate(mixed $value, Constraint $constraint): void
+    {
+        if (!$constraint instanceof Finite) {
+            throw new UnexpectedTypeException($constraint, Finite::class);
+        }
+
+        if (null === $value) {
+            return;
+        }
+
+        if(is_finite($value)) {
+            return;
+        }
+
+        $this->context->buildViolation($constraint->message)
+            ->setParameter('{{ value }}', $this->formatValue($value))
+            ->setCode(Finite::NOT_FINITE_ERROR)
+            ->addViolation();
+    }
+}