Commit 49cd131

Richard van Velzenondrejmirtes

Richard van Velzen

authored and

committed

Add non-negative-int and non-positive-int

1 parent 1c01253 commit 49cd131Copy full SHA for 49cd131

File tree

+30

-0

lines changed

+30

-0

lines changed

Lines changed: 6 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -182,6 +182,12 @@ private function resolveIdentifierTypeNode(IdentifierTypeNode $typeNode, NameSco`
`182`	`182`	`case 'negative-int':`
`183`	`183`	`return IntegerRangeType::fromInterval(null, -1);`
`184`	`184`
	`185`	`+ case 'non-positive-int':`
	`186`	`+ return IntegerRangeType::fromInterval(null, 0);`
	`187`	`+`
	`188`	`+ case 'non-negative-int':`
	`189`	`+ return IntegerRangeType::fromInterval(0, null);`
	`190`	`+`
`185`	`191`	`case 'string':`
`186`	`192`	`return new StringType();`
`187`	`193`

Lines changed: 1 addition & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -1062,6 +1062,7 @@ public function dataFileAsserts(): iterable`
`1062`	`1062`	`yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-8008.php');`
`1063`	`1063`	`yield from $this->gatherAssertTypes(__DIR__ . '/data/assert-class-type.php');`
`1064`	`1064`	`yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-5552.php');`
	`1065`	`+ yield from $this->gatherAssertTypes(__DIR__ . '/data/extra-extra-int-types.php');`
`1065`	`1066`	`}`
`1066`	`1067`
`1067`	`1068`	`/**`

Lines changed: 23 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,23 @@`
	`1`	`+<?php`
	`2`	`+`
	`3`	`+namespace ExtraExtraIntTypes;`
	`4`	`+`
	`5`	`+use function PHPStan\Testing\assertType;`
	`6`	`+`
	`7`	`+class Foo`
	`8`	`+{`
	`9`	`+`
	`10`	`+ /**`
	`11`	`+ * @param non-positive-int $nonPositiveInt`
	`12`	`+ * @param non-negative-int $nonNegativeInt`
	`13`	`+ */`
	`14`	`+ public function doFoo(`
	`15`	`+ int $nonPositiveInt,`
	`16`	`+ int $nonNegativeInt,`
	`17`	`+ ): void`
	`18`	`+ {`
	`19`	`+ assertType('int<min, 0>', $nonPositiveInt);`
	`20`	`+ assertType('int<0, max>', $nonNegativeInt);`
	`21`	`+ }`
	`22`	`+`
	`23`	`+}`

Comments

(0)