@@ -10,46 +10,46 @@ class RandomIntParametersRuleTest extends \PHPStan\Testing\RuleTestCase
1010
1111 protected function getRule (): \PHPStan \Rules \Rule
1212 {
13- return new RandomIntParametersRule ($ this createReflectionProvider ());
13+ return new RandomIntParametersRule ($ this createReflectionProvider (), true );
1414 }
1515
1616 public function testFile (): void
1717 {
1818 $ this analyse ([__DIR__ . '/data/random-int.php ' ], [
1919 [
20- 'Cannot call random_int() when $min parameter (1) is greater than $max parameter (0). ,
20+ 'Parameter #1 $min (1) of function random_int expects lower number than parameter #2 $max (0). ,
2121 8 ,
2222 ],
2323 [
24- 'Cannot call random_int() when $min parameter (0) is greater than $max parameter (-1). ,
24+ 'Parameter #1 $min (0) of function random_int expects lower number than parameter #2 $max (-1). ,
2525 9 ,
2626 ],
2727 [
28- 'Cannot call random_int() when $min parameter (0) is greater than $max parameter (int<-10, -1>). ,
28+ 'Parameter #1 $min (0) of function random_int expects lower number than parameter #2 $max (int<-10, -1>). ,
2929 11 ,
3030 ],
3131 [
32- 'Cannot call random_int() when $min parameter (0) can be greater than $max parameter (int<-10, 10>). ,
32+ 'Parameter #1 $min (0) of function random_int expects lower number than parameter #2 $max (int<-10, 10>). ,
3333 12 ,
3434 ],
3535 [
36- 'Cannot call random_int() when $min parameter (int<1, 10>) is greater than $max parameter (0). ,
36+ 'Parameter #1 $min (int<1, 10>) of function random_int expects lower number than parameter #2 $max (0). ,
3737 15 ,
3838 ],
3939 [
40- 'Cannot call random_int() when $min parameter (int<-10, 10>) can be greater than $max parameter (0). ,
40+ 'Parameter #1 $min (int<-10, 10>) of function random_int expects lower number than parameter #2 $max (0). ,
4141 16 ,
4242 ],
4343 [
44- 'Cannot call random_int() when $min parameter (int<-5, 1>) can be greater than $max parameter (int<0, 5>). ,
44+ 'Parameter #1 $min (int<-5, 1>) of function random_int expects lower number than parameter #2 $max (int<0, 5>). ,
4545 19 ,
4646 ],
4747 [
48- 'Cannot call random_int() when $min parameter (int<-5, 0>) can be greater than $max parameter (int<-1, 5>). ,
48+ 'Parameter #1 $min (int<-5, 0>) of function random_int expects lower number than parameter #2 $max (int<-1, 5>). ,
4949 20 ,
5050 ],
5151 [
52- 'Cannot call random_int() when $min parameter (int<0, 10>) can be greater than $max parameter (int<0, 10>). ,
52+ 'Parameter #1 $min (int<0, 10>) of function random_int expects lower number than parameter #2 $max (int<0, 10>). ,
5353 31 ,
5454 ],
5555 ]);
0 commit comments