Create assertion and type-class for xs:unsignedInt

Author: tvdijen

src/Assert/Assert.php

@@ -45,6 +45,7 @@
  * @method static void validString(mixed $value, string $message = '', string $exception = '')
  * @method static void validTime(mixed $value, string $message = '', string $exception = '')
  * @method static void validToken(mixed $value, string $message = '', string $exception = '')
+ * @method static void validUnsignedInt(mixed $value, string $message = '', string $exception = '')
  * @method static void validUnsignedLong(mixed $value, string $message = '', string $exception = '')
  * @method static void validYearMonth(mixed $value, string $message = '', string $exception = '')
  * @method static void nullOrValidAnyURI(mixed $value, string $message = '', string $exception = '')
@@ -83,6 +84,7 @@
  * @method static void nullOrValidString(mixed $value, string $message = '', string $exception = '')
  * @method static void nullOrValidTime(mixed $value, string $message = '', string $exception = '')
  * @method static void nullOrValidToken(mixed $value, string $message = '', string $exception = '')
+ * @method static void nullOrValidUnsignedInt(mixed $value, string $message = '', string $exception = '')
  * @method static void nullOrValidUnsignedLong(mixed $value, string $message = '', string $exception = '')
  * @method static void nullOrValidYearMonth(mixed $value, string $message = '', string $exception = '')
  * @method static void allValidAnyURI(mixed $value, string $message = '', string $exception = '')
@@ -121,6 +123,7 @@
  * @method static void allValidString(mixed $value, string $message = '', string $exception = '')
  * @method static void allValidTime(mixed $value, string $message = '', string $exception = '')
  * @method static void allValidToken(mixed $value, string $message = '', string $exception = '')
+ * @method static void allValidUnsignedInt(mixed $value, string $message = '', string $exception = '')
  * @method static void allValidUnsignedLong(mixed $value, string $message = '', string $exception = '')
  * @method static void allValidYearMonth(mixed $value, string $message = '', string $exception = '')
  */
@@ -162,6 +165,7 @@ class Assert extends BaseAssert
     use StringTrait;
     use TimeTrait;
     use TokenTrait;
+    use UnsignedIntTrait;
     use UnsignedLongTrait;
     use YearMonthTrait;
 }

src/Assert/UnsignedIntTrait.php

@@ -0,0 +1,31 @@
+<?php
+
+declare(strict_types=1);
+
+namespace SimpleSAML\XML\Assert;
+
+use InvalidArgumentException;
+
+/**
+ * @package simplesamlphp/xml-common
+ */
+trait UnsignedIntTrait
+{
+    /** @var string */
+    private static string $unsignedInt_regex = '/^(([+]?0*)(?:[1-9]|[1-9]\d{1,8}|[1-3]\d{9}|4[01]\d{8}|42[0-8]\d{7}|429[0-3]\d{6}|4294[0-8]\d{5}|42949[0-5]\d{4}|429496[0-6]\d{3}|4294967[01]\d{2}|42949672[0-8]\d|429496729[0-5])|0)$/D';
+
+
+    /**
+     * @param string $value
+     * @param string $message
+     */
+    protected static function validUnsignedInt(string $value, string $message = ''): void
+    {
+        parent::regex(
+            $value,
+            self::$unsignedInt_regex,
+            $message ?: '%s is not a valid xs:unsignedInt',
+            InvalidArgumentException::class,
+        );
+    }
+}

src/Type/UnsignedIntValue.php

@@ -0,0 +1,26 @@
+<?php
+
+declare(strict_types=1);
+
+namespace SimpleSAML\XML\Type;
+
+use SimpleSAML\XML\Assert\Assert;
+use SimpleSAML\XML\Exception\SchemaViolationException;
+
+/**
+ * @package simplesaml/xml-common
+ */
+class UnsignedIntValue extends IntegerValue
+{
+    /**
+     * Validate the value.
+     *
+     * @param string $value
+     * @throws \SimpleSAML\XML\Exception\SchemaViolationException on failure
+     * @return void
+     */
+    protected function validateValue(string $value): void
+    {
+        Assert::validUnsignedInt($this->sanitizeValue($value), SchemaViolationException::class);
+    }
+}

tests/Assert/UnsignedIntTest.php

@@ -0,0 +1,55 @@
+<?php
+
+declare(strict_types=1);
+
+namespace SimpleSAML\Test\XML\Assert;
+
+use PHPUnit\Framework\Attributes\CoversClass;
+use PHPUnit\Framework\Attributes\DataProvider;
+use PHPUnit\Framework\TestCase;
+use SimpleSAML\Assert\AssertionFailedException;
+use SimpleSAML\XML\Assert\Assert;
+
+/**
+ * Class \SimpleSAML\Test\XML\Assert\UnsignedIntTest
+ *
+ * @package simplesamlphp/xml-common
+ */
+#[CoversClass(Assert::class)]
+final class UnsignedIntTest extends TestCase
+{
+    /**
+     * @param boolean $shouldPass
+     * @param string $unsignedInt
+     */
+    #[DataProvider('provideUnsignedInt')]
+    public function testValidUnsignedInt(bool $shouldPass, string $unsignedInt): void
+    {
+        try {
+            Assert::validUnsignedInt($unsignedInt);
+            $this->assertTrue($shouldPass);
+        } catch (AssertionFailedException $e) {
+            $this->assertFalse($shouldPass);
+        }
+    }
+
+
+    /**
+     * @return array<string, array{0: bool, 1: string}>
+     */
+    public static function provideUnsignedInt(): array
+    {
+        return [
+            'empty' => [false, ''],
+            'valid positive integer' => [true, '4294967295'],
+            'invalid positive out-of-bounds' => [false, '4294967296'],
+            'valid signed positive integer' => [true, '+4294967295'],
+            'valid zero' => [true, '0'],
+            'valid negative leading zeros' => [true, '0000000000000000000005'],
+            'invalid with fractional' => [false, '1.'],
+            'invalid with space' => [false, '12 34'],
+            'invalid negative' => [false, '-1'],
+            'invalid with thousands-delimiter' => [false, '1,234'],
+        ];
+    }
+}

tests/Type/UnsignedIntValueTest.php

@@ -0,0 +1,55 @@
+<?php
+
+declare(strict_types=1);
+
+namespace SimpleSAML\Test\XML\Type;
+
+use PHPUnit\Framework\Attributes\CoversClass;
+use PHPUnit\Framework\Attributes\DataProvider;
+use PHPUnit\Framework\TestCase;
+use SimpleSAML\XML\Exception\SchemaViolationException;
+use SimpleSAML\XML\Type\UnsignedIntValue;
+
+/**
+ * Class \SimpleSAML\Test\Type\UnsignedIntValueTest
+ *
+ * @package simplesamlphp/xml-common
+ */
+#[CoversClass(UnsignedIntValue::class)]
+final class UnsignedIntValueTest extends TestCase
+{
+    /**
+     * @param boolean $shouldPass
+     * @param string $unsignedInt
+     */
+    #[DataProvider('provideUnsignedInt')]
+    public function testUnsignedInt(bool $shouldPass, string $unsignedInt): void
+    {
+        try {
+            UnsignedIntValue::fromString($unsignedInt);
+            $this->assertTrue($shouldPass);
+        } catch (SchemaViolationException $e) {
+            $this->assertFalse($shouldPass);
+        }
+    }
+
+
+    /**
+     * @return array<string, array{0: bool, 1: string}>
+     */
+    public static function provideUnsignedInt(): array
+    {
+        return [
+            'empty' => [false, ''],
+            'valid positive integer' => [true, '4294967295'],
+            'invalid positive out-of-bounds' => [false, '4294967296'],
+            'valid signed positive integer' => [true, '+4294967295'],
+            'valid zero' => [true, '0'],
+            'valid negative leading zeros' => [true, '0000000000000000000005'],
+            'invalid with fractional' => [false, '1.'],
+            'valid with whitespace collapse' => [true, " 1 234 \n"],
+            'invalid negative' => [false, '-1'],
+            'invalid with thousands-delimiter' => [false, '1,234'],
+        ];
+    }
+}