phpstan-src/tests/PHPStan/Analyser/nsrt/bug-2911.php at 529e07bedb7447cbc823b9df568b365fde8d4ff3 · staabm/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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
<?php declare(strict_types=1);

namespace Bug2911;

use Exception;
use function PHPStan\Testing\assertType;

class MutatorConfig
{
	/**
	 * @return array<mixed>
	 */
	public function getMutatorSettings(): array
	{
		return [];
	}
}

final class ArrayItemRemoval
{
	private const DEFAULT_SETTINGS = [
		'remove' => 'first',
		'limit' => PHP_INT_MAX,
	];

	/**
	 * @var string first|last|all
	 */
	private $remove;

	/**
	 * @var int
	 */
	private $limit;

	public function __construct(MutatorConfig $config)
	{
		$settings = $this->getResultSettings($config->getMutatorSettings());

		$this->remove = $settings['remove'];
		$this->limit = $settings['limit'];
	}

	/**
	 * @param array<string, mixed> $settings
	 *
	 * @return array{remove: string, limit: int}
	 */
	private function getResultSettings(array $settings): array
	{
		$settings = array_merge(self::DEFAULT_SETTINGS, $settings);
		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffset('remove')", $settings);

		if (!is_string($settings['remove'])) {
			throw $this->configException($settings, 'remove');
		}

		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffsetValue('remove', string)", $settings);

		$settings['remove'] = strtolower($settings['remove']);

		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffsetValue('remove', lowercase-string)", $settings);

		if (!in_array($settings['remove'], ['first', 'last', 'all'], true)) {
			throw $this->configException($settings, 'remove');
		}

		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffsetValue('remove', 'all'|'first'|'last')", $settings);

		if (!is_numeric($settings['limit']) || $settings['limit'] < 1) {
			throw $this->configException($settings, 'limit');
		}
		assertType("non-empty-array<string, mixed>&hasOffsetValue('limit', float|int<1, max>|numeric-string)&hasOffsetValue('remove', 'all'|'first'|'last')", $settings);

		$settings['limit'] = (int) $settings['limit'];

		assertType("non-empty-array<string, mixed>&hasOffsetValue('limit', int)&hasOffsetValue('remove', 'all'|'first'|'last')", $settings);

		return $settings;
	}

	/**
	 * @param array<string, mixed> $settings
	 */
	private function configException(array $settings, string $property): Exception
	{
		$value = $settings[$property];

		return new Exception(sprintf(
			'Invalid configuration of ArrayItemRemoval mutator. Setting `%s` is invalid (%s)',
			$property,
			is_scalar($value) ? $value : '<' . strtoupper(gettype($value)) . '>'
		));
	}
}

final class ArrayItemRemoval2
{
	private const DEFAULT_SETTINGS = [
		'remove' => 'first',
		'limit' => PHP_INT_MAX,
	];

	/**
	 * @param array<string, mixed> $settings
	 *
	 * @return array{remove: string, limit: int}
	 */
	private function getResultSettings(array $settings): array
	{
		$settings = array_merge(self::DEFAULT_SETTINGS, $settings);

		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffset('remove')", $settings);

		if (!is_string($settings['remove'])) {
			throw new Exception();
		}

		assertType("non-empty-array<string, mixed>&hasOffset('limit')&hasOffsetValue('remove', string)", $settings);

		if (!is_int($settings['limit'])) {
			throw new Exception();
		}

		assertType("non-empty-array<string, mixed>&hasOffsetValue('limit', int)&hasOffsetValue('remove', string)", $settings);

		return $settings;
	}


	/**
	 * @param array<mixed> $array
	 */
	function foo(array $array): void {
		$array['bar'] = 'string';

		assertType("non-empty-array<mixed>&hasOffsetValue('bar', 'string')", $array);
	}
}