|
| 1 | +<?php declare(strict_types = 1); |
| 2 | + |
| 3 | +namespace PHPStan\Rules\PHPUnit; |
| 4 | + |
| 5 | +use PhpParser\Node; |
| 6 | +use PHPStan\Analyser\Scope; |
| 7 | +use PHPStan\Node\Expr\TypeExpr; |
| 8 | +use PHPStan\Rules\Rule; |
| 9 | +use PHPStan\Type\ObjectType; |
| 10 | +use PHPStan\Type\Type; |
| 11 | +use PHPUnit\Framework\TestCase; |
| 12 | +use function array_slice; |
| 13 | +use function count; |
| 14 | +use function max; |
| 15 | +use const PHP_INT_MAX; |
| 16 | + |
| 17 | +/** |
| 18 | + * @implements Rule<Node> |
| 19 | + */ |
| 20 | +class DataProviderDataRule implements Rule |
| 21 | +{ |
| 22 | + |
| 23 | + private TestMethodsHelper $testMethodsHelper; |
| 24 | + |
| 25 | + private DataProviderHelper $dataProviderHelper; |
| 26 | + |
| 27 | + public function __construct( |
| 28 | + TestMethodsHelper $testMethodsHelper, |
| 29 | + DataProviderHelper $dataProviderHelper |
| 30 | + ) |
| 31 | + { |
| 32 | + $this->testMethodsHelper = $testMethodsHelper; |
| 33 | + $this->dataProviderHelper = $dataProviderHelper; |
| 34 | + } |
| 35 | + |
| 36 | + public function getNodeType(): string |
| 37 | + { |
| 38 | + return Node::class; |
| 39 | + } |
| 40 | + |
| 41 | + public function processNode(Node $node, Scope $scope): array |
| 42 | + { |
| 43 | + if ( |
| 44 | + !$node instanceof Node\Stmt\Return_ |
| 45 | + && !$node instanceof Node\Expr\Yield_ |
| 46 | + && !$node instanceof Node\Expr\YieldFrom |
| 47 | + ) { |
| 48 | + return []; |
| 49 | + } |
| 50 | + |
| 51 | + if ($scope->getFunction() === null) { |
| 52 | + return []; |
| 53 | + } |
| 54 | + if ($scope->isInAnonymousFunction()) { |
| 55 | + return []; |
| 56 | + } |
| 57 | + |
| 58 | + $arraysTypes = $this->buildArrayTypesFromNode($node, $scope); |
| 59 | + if ($arraysTypes === []) { |
| 60 | + return []; |
| 61 | + } |
| 62 | + |
| 63 | + $method = $scope->getFunction(); |
| 64 | + $classReflection = $scope->getClassReflection(); |
| 65 | + if ( |
| 66 | + $classReflection === null |
| 67 | + || !$classReflection->is(TestCase::class) |
| 68 | + ) { |
| 69 | + return []; |
| 70 | + } |
| 71 | + |
| 72 | + $testsWithProvider = []; |
| 73 | + $testMethods = $this->testMethodsHelper->getTestMethods($classReflection, $scope); |
| 74 | + foreach ($testMethods as $testMethod) { |
| 75 | + foreach ($this->dataProviderHelper->getDataProviderMethods($scope, $testMethod, $classReflection) as [, $providerMethodName]) { |
| 76 | + if ($providerMethodName === $method->getName()) { |
| 77 | + $testsWithProvider[] = $testMethod; |
| 78 | + continue 2; |
| 79 | + } |
| 80 | + } |
| 81 | + } |
| 82 | + |
| 83 | + if (count($testsWithProvider) === 0) { |
| 84 | + return []; |
| 85 | + } |
| 86 | + |
| 87 | + $maxNumberOfParameters = $testsWithProvider[0]->getNumberOfParameters(); |
| 88 | + if (count($testsWithProvider) > 1) { |
| 89 | + foreach ($testsWithProvider as $testMethod) { |
| 90 | + if ($testMethod->isVariadic()) { |
| 91 | + $maxNumberOfParameters = PHP_INT_MAX; |
| 92 | + break; |
| 93 | + } |
| 94 | + |
| 95 | + $maxNumberOfParameters = max($maxNumberOfParameters, $testMethod->getNumberOfParameters()); |
| 96 | + } |
| 97 | + } |
| 98 | + |
| 99 | + foreach ($testsWithProvider as $testMethod) { |
| 100 | + $numberOfParameters = $testMethod->getNumberOfParameters(); |
| 101 | + |
| 102 | + foreach ($arraysTypes as [$startLine, $arraysType]) { |
| 103 | + $args = $this->arrayItemsToArgs($arraysType, $maxNumberOfParameters); |
| 104 | + if ($args === null) { |
| 105 | + continue; |
| 106 | + } |
| 107 | + |
| 108 | + if ( |
| 109 | + !$testMethod->isVariadic() |
| 110 | + && $numberOfParameters !== $maxNumberOfParameters |
| 111 | + ) { |
| 112 | + $args = array_slice($args, 0, $numberOfParameters); |
| 113 | + } |
| 114 | + |
| 115 | + $scope->invokeNodeCallback(new Node\Expr\MethodCall( |
| 116 | + new TypeExpr(new ObjectType($classReflection->getName())), |
| 117 | + $testMethod->getName(), |
| 118 | + $args, |
| 119 | + ['startLine' => $startLine], |
| 120 | + )); |
| 121 | + } |
| 122 | + } |
| 123 | + |
| 124 | + return []; |
| 125 | + } |
| 126 | + |
| 127 | + /** |
| 128 | + * @return array<Node\Arg> |
| 129 | + */ |
| 130 | + private function arrayItemsToArgs(Type $array, int $numberOfParameters): ?array |
| 131 | + { |
| 132 | + $args = []; |
| 133 | + |
| 134 | + $constArrays = $array->getConstantArrays(); |
| 135 | + if ($constArrays !== [] && count($constArrays) === 1) { |
| 136 | + $keyTypes = $constArrays[0]->getKeyTypes(); |
| 137 | + $valueTypes = $constArrays[0]->getValueTypes(); |
| 138 | + } elseif ($array->isArray()->yes()) { |
| 139 | + $keyTypes = []; |
| 140 | + $valueTypes = []; |
| 141 | + for ($i = 0; $i < $numberOfParameters; ++$i) { |
| 142 | + $keyTypes[$i] = $array->getIterableKeyType(); |
| 143 | + $valueTypes[$i] = $array->getIterableValueType(); |
| 144 | + } |
| 145 | + } else { |
| 146 | + return null; |
| 147 | + } |
| 148 | + |
| 149 | + foreach ($valueTypes as $i => $valueType) { |
| 150 | + $key = $keyTypes[$i]->getConstantStrings(); |
| 151 | + if (count($key) > 1) { |
| 152 | + return null; |
| 153 | + } |
| 154 | + |
| 155 | + if (count($key) === 0) { |
| 156 | + $arg = new Node\Arg(new TypeExpr($valueType)); |
| 157 | + $args[] = $arg; |
| 158 | + continue; |
| 159 | + |
| 160 | + } |
| 161 | + |
| 162 | + $arg = new Node\Arg( |
| 163 | + new TypeExpr($valueType), |
| 164 | + false, |
| 165 | + false, |
| 166 | + [], |
| 167 | + new Node\Identifier($key[0]->getValue()), |
| 168 | + ); |
| 169 | + $args[] = $arg; |
| 170 | + } |
| 171 | + |
| 172 | + return $args; |
| 173 | + } |
| 174 | + |
| 175 | + /** |
| 176 | + * @param Node\Stmt\Return_|Node\Expr\Yield_|Node\Expr\YieldFrom $node |
| 177 | + * |
| 178 | + * @return list<list{int, Type}> |
| 179 | + */ |
| 180 | + private function buildArrayTypesFromNode(Node $node, Scope $scope): array |
| 181 | + { |
| 182 | + $arraysTypes = []; |
| 183 | + |
| 184 | + // special case for providers only containing static data, so we get more precise error lines |
| 185 | + if ( |
| 186 | + ($node instanceof Node\Stmt\Return_ && $node->expr instanceof Node\Expr\Array_) |
| 187 | + || ($node instanceof Node\Expr\YieldFrom && $node->expr instanceof Node\Expr\Array_) |
| 188 | + ) { |
| 189 | + foreach ($node->expr->items as $item) { |
| 190 | + if (!$item->value instanceof Node\Expr\Array_) { |
| 191 | + $arraysTypes = []; |
| 192 | + break; |
| 193 | + } |
| 194 | + |
| 195 | + $constArrays = $scope->getType($item->value)->getConstantArrays(); |
| 196 | + if ($constArrays === []) { |
| 197 | + $arraysTypes = []; |
| 198 | + break; |
| 199 | + } |
| 200 | + |
| 201 | + foreach ($constArrays as $constArray) { |
| 202 | + $arraysTypes[] = [$item->value->getStartLine(), $constArray]; |
| 203 | + } |
| 204 | + } |
| 205 | + |
| 206 | + if ($arraysTypes !== []) { |
| 207 | + return $arraysTypes; |
| 208 | + } |
| 209 | + } |
| 210 | + |
| 211 | + // general case with less precise error message lines |
| 212 | + if ($node instanceof Node\Stmt\Return_ || $node instanceof Node\Expr\YieldFrom) { |
| 213 | + if ($node->expr === null) { |
| 214 | + return []; |
| 215 | + } |
| 216 | + |
| 217 | + $exprType = $scope->getType($node->expr); |
| 218 | + $exprConstArrays = $exprType->getConstantArrays(); |
| 219 | + foreach ($exprConstArrays as $constArray) { |
| 220 | + foreach ($constArray->getValueTypes() as $valueType) { |
| 221 | + foreach ($valueType->getConstantArrays() as $constValueArray) { |
| 222 | + $arraysTypes[] = [$node->getStartLine(), $constValueArray]; |
| 223 | + } |
| 224 | + } |
| 225 | + } |
| 226 | + |
| 227 | + if ($arraysTypes === []) { |
| 228 | + foreach ($exprType->getIterableValueType()->getArrays() as $arrayType) { |
| 229 | + $arraysTypes[] = [$node->getStartLine(), $arrayType]; |
| 230 | + } |
| 231 | + } |
| 232 | + } elseif ($node instanceof Node\Expr\Yield_) { |
| 233 | + if ($node->value === null) { |
| 234 | + return []; |
| 235 | + } |
| 236 | + |
| 237 | + $exprType = $scope->getType($node->value); |
| 238 | + foreach ($exprType->getConstantArrays() as $constValueArray) { |
| 239 | + $arraysTypes[] = [$node->getStartLine(), $constValueArray]; |
| 240 | + } |
| 241 | + } |
| 242 | + |
| 243 | + return $arraysTypes; |
| 244 | + } |
| 245 | + |
| 246 | +} |
0 commit comments