phpstan-src/tests/PHPStan/Analyser/nsrt/literal-string.php at 2a5bb898e1f78768dd745095f965c30fc60f9ab5 · phpstan/phpstan-src · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<?php

namespace LiteralString;

use function PHPStan\Testing\assertType;

class Foo
{

	/**
	 * @param literal-string $literalString
	 * @param numeric-string $numericString
	 */
	public function doFoo($literalString, string $string, $numericString)
	{
		assertType('literal-string', $literalString);
		assertType('literal-string', $literalString . '');
		assertType('literal-string', '' . $literalString);
		assertType('literal-string&non-empty-string', $literalString . '0');
		assertType('literal-string&non-empty-string', '0' . $literalString);
		assertType('literal-string&non-falsy-string', $literalString . 'foo');
		assertType('literal-string&non-falsy-string', 'foo' . $literalString);
		assertType('literal-string&non-falsy-string', "foo ${literalString}");
		assertType('literal-string&non-falsy-string', "${literalString} foo");
		assertType('string', $string . '');
		assertType('string', '' . $string);
		assertType('string', $literalString . $string);
		assertType('string', $string . $literalString);
		assertType('literal-string', $literalString . $literalString);

		assertType('string', str_repeat($string, 10));
		assertType('literal-string', str_repeat($literalString, 10));
		assertType("''", str_repeat('', 10));
		assertType("'foofoofoofoofoofoofoofoofoofoo'", str_repeat('foo', 10));
		assertType(
			"'aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa'",
			str_repeat('a', 99)
		);
		assertType('literal-string&lowercase-string&non-falsy-string', str_repeat('a', 100));
		assertType('literal-string&non-falsy-string&uppercase-string', str_repeat('A', 100));
		assertType('literal-string&lowercase-string&non-falsy-string&numeric-string&uppercase-string', str_repeat('0', 100));
		assertType('literal-string&lowercase-string&non-falsy-string&numeric-string&uppercase-string', str_repeat('1', 100));
		// Repeating a numeric type multiple times can lead to a non-numeric type: 3v4l.org/aRBdZ
		assertType('non-falsy-string', str_repeat($numericString, 100));

		assertType("''", str_repeat('1.23', 0));
		assertType("''", str_repeat($string, 0));
		assertType("''", str_repeat($numericString, 0));

		// see https://3v4l.org/U4bM2
		assertType("non-empty-string&numeric-string", str_repeat($numericString, 1));
		assertType("non-falsy-string", str_repeat($numericString, 2));
		assertType("literal-string", str_repeat($literalString, 1));
		$x = rand(1,2);
		assertType("literal-string&lowercase-string&non-falsy-string&uppercase-string", str_repeat('    1   ', $x));
		assertType("literal-string&lowercase-string&non-falsy-string&uppercase-string", str_repeat('+1', $x));
		assertType("literal-string&lowercase-string&non-falsy-string", str_repeat('1e9', $x));
		assertType("literal-string&non-falsy-string&uppercase-string", str_repeat('1E9', $x));
		assertType("literal-string&lowercase-string&non-falsy-string&numeric-string&uppercase-string", str_repeat('19', $x));

		$x = rand(0,2);
		assertType("literal-string&lowercase-string&uppercase-string", str_repeat('19', $x));

		$x = rand(-10,-1);
		assertType("*NEVER*", str_repeat('19', $x));
		assertType("'?,?,?,'", str_repeat('?,', 3));
		assertType("*NEVER*", str_repeat('?,', -3));

		assertType('non-empty-string', str_pad($string, 5, $string));
		assertType('non-empty-string', str_pad($literalString, 5, $string));
		assertType('non-empty-string', str_pad($string, 5, $literalString));
		assertType('literal-string&non-empty-string', str_pad($literalString, 5, $literalString));
		assertType('literal-string&non-empty-string', str_pad($literalString, 5));

		assertType('string', implode([$string]));
		assertType('literal-string', implode([$literalString]));
		assertType('string', implode($string, [$literalString]));
		assertType('literal-string', implode($literalString, [$literalString]));
		assertType('string', implode($literalString, [$string]));
	}

	/** @param literal-string $literalString */
	public function increment($literalString, string $string)
	{
		$literalString++;
		assertType('literal-string', $literalString);

		$string++;
		assertType('(float|int|string)', $string);
	}

}