mirror of
https://github.com/danog/psalm.git
synced 2024-11-27 04:45:20 +01:00
389 lines
12 KiB
PHP
389 lines
12 KiB
PHP
<?php
|
|
namespace Psalm\Tests;
|
|
|
|
class IntRangeTest extends TestCase
|
|
{
|
|
use Traits\InvalidCodeAnalysisTestTrait;
|
|
use Traits\ValidCodeAnalysisTestTrait;
|
|
|
|
/**
|
|
* @return iterable<string,array{string,assertions?:array<string,string>,error_levels?:string[]}>
|
|
*/
|
|
public function providerValidCodeParse(): iterable
|
|
{
|
|
return [
|
|
'intRangeContained' => [
|
|
'<?php
|
|
/**
|
|
* @param int<1,12> $a
|
|
* @return int<-1, max>
|
|
*/
|
|
function scope(int $a){
|
|
return $a;
|
|
}',
|
|
],
|
|
'positiveIntRange' => [
|
|
'<?php
|
|
/**
|
|
* @param int<1,12> $a
|
|
* @return positive-int
|
|
*/
|
|
function scope(int $a){
|
|
return $a;
|
|
}',
|
|
],
|
|
'intRangeToInt' => [
|
|
'<?php
|
|
/**
|
|
* @param int<1,12> $a
|
|
* @return int
|
|
*/
|
|
function scope(int $a){
|
|
return $a;
|
|
}',
|
|
],
|
|
'intReduced' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = $b = $c = getInt();
|
|
assert($a >= 500);
|
|
assert($a < 5000);
|
|
assert($b >= -5000);
|
|
assert($b < -501);
|
|
assert(-60 > $c);
|
|
assert(-500 < $c);',
|
|
'assertions' => [
|
|
'$a===' => 'int<500, 4999>',
|
|
'$b===' => 'int<-5000, -502>',
|
|
'$c===' => 'int<-499, -61>',
|
|
]
|
|
],
|
|
'negatedAssertions' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = $b = $c = $d = $e = $f = $g = $h = $i = $j = $k = $l = $m = $n = $o = $p = getInt();
|
|
//>
|
|
if($a > 10){
|
|
die();
|
|
}
|
|
|
|
if($b > -10){
|
|
die();
|
|
}
|
|
|
|
//<
|
|
if($c < 500){
|
|
die();
|
|
}
|
|
|
|
if($d < -500){
|
|
die();
|
|
}
|
|
|
|
//>=
|
|
if($e >= 10){
|
|
die();
|
|
}
|
|
|
|
if($f >= -10){
|
|
die();
|
|
}
|
|
|
|
//<=
|
|
if($g <= 500){
|
|
die();
|
|
}
|
|
|
|
if($h <= -500){
|
|
die();
|
|
}
|
|
|
|
//>
|
|
if(10 > $i){
|
|
die();
|
|
}
|
|
|
|
if(-10 > $j){
|
|
die();
|
|
}
|
|
|
|
//<
|
|
if(500 < $k){
|
|
die();
|
|
}
|
|
|
|
if(-500 < $l){
|
|
die();
|
|
}
|
|
|
|
//>=
|
|
if(10 >= $m){
|
|
die();
|
|
}
|
|
|
|
if(-10 >= $n){
|
|
die();
|
|
}
|
|
|
|
//<=
|
|
if(500 <= $o){
|
|
die();
|
|
}
|
|
|
|
if(-500 <= $p){
|
|
die();
|
|
}
|
|
//inverse
|
|
',
|
|
'assertions' => [
|
|
'$a===' => 'int<min, 10>',
|
|
'$b===' => 'int<min, -10>',
|
|
'$c===' => 'int<500, max>',
|
|
'$d===' => 'int<-500, max>',
|
|
'$e===' => 'int<min, 9>',
|
|
'$f===' => 'int<min, -11>',
|
|
'$g===' => 'int<501, max>',
|
|
'$h===' => 'int<-499, max>',
|
|
'$i===' => 'int<10, max>',
|
|
'$j===' => 'int<-10, max>',
|
|
'$k===' => 'int<min, 500>',
|
|
'$l===' => 'int<min, -500>',
|
|
'$m===' => 'int<11, max>',
|
|
'$n===' => 'int<-9, max>',
|
|
'$o===' => 'int<min, 499>',
|
|
'$p===' => 'int<min, -501>',
|
|
]
|
|
],
|
|
'intOperations' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = getInt();
|
|
assert($a >= 500);
|
|
assert($a < 5000);
|
|
$b = $a % 10;
|
|
$c = $a ** 2;
|
|
$d = $a - 5;
|
|
$e = $a * 1;',
|
|
'assertions' => [
|
|
'$b===' => 'int<0, 9>',
|
|
'$c===' => 'int<250000, 24990001>',
|
|
'$d===' => 'int<495, 4994>',
|
|
'$e===' => 'int<500, 4999>'
|
|
]
|
|
],
|
|
'SKIPPED-intLoopPositive' => [
|
|
'<?php
|
|
//skipped, int range in loops not supported yet
|
|
for($i = 0; $i < 10; $i++){
|
|
|
|
}',
|
|
'assertions' => [
|
|
'$i===' => 'int<0, 9>'
|
|
]
|
|
],
|
|
'SKIPPED-intLoopNegative' => [
|
|
'<?php
|
|
//skipped, int range in loops not supported yet
|
|
for($i = 10; $i > 1; $i--){
|
|
|
|
}',
|
|
'assertions' => [
|
|
'$i===' => 'int<2, 10>'
|
|
]
|
|
],
|
|
'integrateExistingArrayPositive' => [
|
|
'<?php
|
|
/** @return int<5, max> */
|
|
function getInt()
|
|
{
|
|
return 7;
|
|
}
|
|
|
|
$_arr = ["a", "b", "c"];
|
|
$a = getInt();
|
|
$_arr[$a] = 12;',
|
|
'assertions' => [
|
|
'$_arr===' => 'non-empty-array<int<0, max>, "a"|"b"|"c"|12>'
|
|
]
|
|
],
|
|
'integrateExistingArrayNegative' => [
|
|
'<?php
|
|
/** @return int<min, -1> */
|
|
function getInt()
|
|
{
|
|
return -2;
|
|
}
|
|
|
|
$_arr = ["a", "b", "c"];
|
|
$a = getInt();
|
|
$_arr[$a] = 12;',
|
|
'assertions' => [
|
|
'$_arr===' => 'non-empty-array<int<min, 2>, "a"|"b"|"c"|12>'
|
|
]
|
|
],
|
|
'SKIPPED-statementsInLoopAffectsEverything' => [
|
|
'<?php
|
|
//skipped, int range in loops not supported yet
|
|
$remainder = 1;
|
|
for ($i = 0; $i < 5; $i++) {
|
|
if ($remainder) {
|
|
$remainder--;
|
|
}
|
|
}',
|
|
'assertions' => [
|
|
'$remainder===' => 'int<min, 1>'
|
|
]
|
|
],
|
|
'SKIPPED-IntRangeRestrictWhenUntouched' => [
|
|
'<?php
|
|
//skipped, int range in loops not supported yet
|
|
foreach ([1, 2, 3] as $i) {
|
|
if ($i > 1) {
|
|
takesInt($i);
|
|
}
|
|
}
|
|
|
|
/** @psalm-param int<2, 3> $i */
|
|
function takesInt(int $i): void{
|
|
return;
|
|
}',
|
|
],
|
|
'SKIPPED-wrongLoopAssertion' => [
|
|
'<?php
|
|
//skipped, int range in loops not supported yet
|
|
function a(): array {
|
|
$type_tokens = getArray();
|
|
|
|
for ($i = 0, $l = rand(0,100); $i < $l; ++$i) {
|
|
|
|
/** @psalm-trace $i */;
|
|
if ($i > 0 && rand(0,1)) {
|
|
continue;
|
|
}
|
|
/** @psalm-trace $i */;
|
|
|
|
|
|
$type_tokens[$i] = "";
|
|
|
|
/** @psalm-trace $type_tokens */;
|
|
|
|
if($i > 1){
|
|
$type_tokens[$i - 2];
|
|
}
|
|
}
|
|
|
|
return [];
|
|
}
|
|
|
|
|
|
/** @return array<int, string> */
|
|
function getArray(): array{
|
|
return [];
|
|
}'
|
|
],
|
|
'IntRangeContainedInMultipleInt' => [
|
|
'<?php
|
|
$_arr = [];
|
|
foreach ([0, 1] as $i) {
|
|
$_arr[$i] = 1;
|
|
}
|
|
/** @var int<0,1> $j */
|
|
$j = 0;
|
|
echo $_arr[$j];'
|
|
],
|
|
'modulo' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = getInt();
|
|
$b = $a % 10;
|
|
assert($a > 0);
|
|
$c = $a % 10;
|
|
$d = $a % $a;',
|
|
'assertions' => [
|
|
'$b===' => 'int<-9, 9>',
|
|
'$c===' => 'int<0, 9>',
|
|
'$d===' => '0|positive-int'
|
|
],
|
|
],
|
|
'minus' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = $b = $d = $e = getInt();
|
|
assert($a > 5);
|
|
assert($a <= 10);
|
|
assert($b > -10);
|
|
assert($b <= 100);
|
|
$c = $a - $b;
|
|
$f = $a - $d;
|
|
assert($e > 0);
|
|
$g = $a - $e;
|
|
',
|
|
'assertions' => [
|
|
'$c===' => 'int<-94, 19>',
|
|
'$f===' => 'int<min, max>',
|
|
'$g===' => 'int<min, 9>',
|
|
],
|
|
],
|
|
'bits' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = $b = $c = getInt();
|
|
assert($a > 5);
|
|
assert($b <= 6);
|
|
$d = $a ^ $b;
|
|
$e = $a & $b;
|
|
$f = $a | $b;
|
|
$g = $a << $b;
|
|
$h = $a >> $b;
|
|
',
|
|
'assertions' => [
|
|
'$d===' => 'int',
|
|
'$e===' => 'int',
|
|
'$f===' => 'int',
|
|
'$g===' => 'int<0, max>',
|
|
'$h===' => 'int<0, max>',
|
|
],
|
|
],
|
|
'UnaryMinus' => [
|
|
'<?php
|
|
function getInt(): int{return 0;}
|
|
$a = $c = $e = getInt();
|
|
assert($a > 5);
|
|
$b = -$a;
|
|
assert($c > 0);
|
|
$d = -$c;
|
|
assert($e > 5);
|
|
assert($e < 10);
|
|
$f = -$e;
|
|
',
|
|
'assertions' => [
|
|
'$b===' => 'int<min, -6>',
|
|
'$d===' => 'int<min, 0>',
|
|
'$f===' => 'int<-9, -6>',
|
|
],
|
|
],
|
|
];
|
|
}
|
|
|
|
/**
|
|
* @return iterable<string,array{string,error_message:string,1?:string[],2?:bool,3?:string}>
|
|
*/
|
|
public function providerInvalidCodeParse(): iterable
|
|
{
|
|
return [
|
|
'intRangeNotContained' => [
|
|
'<?php
|
|
/**
|
|
* @param int<1,12> $a
|
|
* @return int<-1, 11>
|
|
* @psalm-suppress InvalidReturnStatement
|
|
*/
|
|
function scope(int $a){
|
|
return $a;
|
|
}',
|
|
'error_message' => 'InvalidReturnType',
|
|
],
|
|
];
|
|
}
|
|
}
|