Support positiveInteger

Author: herndlm

README.md

@@ -29,6 +29,7 @@ function demo(?int $a) {
 This extension specifies types of values passed to:
 
 * `Assert::integer`
+* `Assert::positiveInteger`
 * `Assert::string`
 * `Assert::stringNotEmpty`
 * `Assert::float`

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -177,6 +177,18 @@ private static function getExpressionResolvers(): array
 						[$value]
 					);
 				},
+				'positiveInteger' => function (Scope $scope, Arg $value): \PhpParser\Node\Expr {
+					return new \PhpParser\Node\Expr\BinaryOp\BooleanAnd(
+						new \PhpParser\Node\Expr\FuncCall(
+							new \PhpParser\Node\Name('is_int'),
+							[$value]
+						),
+						new \PhpParser\Node\Expr\BinaryOp\Greater(
+							$value->value,
+							new \PhpParser\Node\Scalar\LNumber(0)
+						)
+					);
+				},
 				'string' => function (Scope $scope, Arg $value): \PhpParser\Node\Expr {
 					return new \PhpParser\Node\Expr\FuncCall(
 						new \PhpParser\Node\Name('is_string'),

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -16,6 +16,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/collection.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/data.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/string.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/type.php');
 	}
 
 	/**

tests/Type/WebMozartAssert/data/type.php

@@ -0,0 +1,21 @@
+<?php declare(strict_types=1);
+
+namespace PHPStan\Type\WebMozartAssert;
+
+use Webmozart\Assert\Assert;
+
+class TypeTest
+{
+	/**
+	 * @param mixed $a
+	 */
+	public function positiveInteger($a): void
+	{
+		Assert::positiveInteger($a);
+		\PHPStan\Testing\assertType('int<1, max>', $a);
+
+		$b = -1;
+		Assert::positiveInteger($b);
+		\PHPStan\Testing\assertType('*NEVER*', $b);
+	}
+}