|
| 1 | +<?php declare(strict_types = 1); |
| 2 | + |
| 3 | +namespace PHPStan\Type\Php; |
| 4 | + |
| 5 | +use PhpParser\Node\Expr\FuncCall; |
| 6 | +use PHPStan\Analyser\Scope; |
| 7 | +use PHPStan\Reflection\FunctionReflection; |
| 8 | +use PHPStan\Type\Accessory\AccessoryLowercaseStringType; |
| 9 | +use PHPStan\Type\Accessory\AccessoryNonEmptyStringType; |
| 10 | +use PHPStan\Type\Accessory\AccessoryNonFalsyStringType; |
| 11 | +use PHPStan\Type\Accessory\AccessoryUppercaseStringType; |
| 12 | +use PHPStan\Type\Constant\ConstantStringType; |
| 13 | +use PHPStan\Type\DynamicFunctionReturnTypeExtension; |
| 14 | +use PHPStan\Type\IntersectionType; |
| 15 | +use PHPStan\Type\StringType; |
| 16 | +use PHPStan\Type\Type; |
| 17 | +use PHPStan\Type\TypeCombinator; |
| 18 | +use function count; |
| 19 | +use function strrev; |
| 20 | + |
| 21 | +final class StrrevFunctionReturnTypeExtension implements DynamicFunctionReturnTypeExtension |
| 22 | +{ |
| 23 | + |
| 24 | + public function isFunctionSupported(FunctionReflection $functionReflection): bool |
| 25 | + { |
| 26 | + return $functionReflection->getName() === 'strrev'; |
| 27 | + } |
| 28 | + |
| 29 | + public function getTypeFromFunctionCall( |
| 30 | + FunctionReflection $functionReflection, |
| 31 | + FuncCall $functionCall, |
| 32 | + Scope $scope, |
| 33 | + ): ?Type |
| 34 | + { |
| 35 | + $args = $functionCall->getArgs(); |
| 36 | + if (count($args) < 1) { |
| 37 | + return null; |
| 38 | + } |
| 39 | + |
| 40 | + $inputType = $scope->getType($args[0]->value); |
| 41 | + $constantStrings = $inputType->getConstantStrings(); |
| 42 | + if (count($constantStrings) > 0) { |
| 43 | + $resultTypes = []; |
| 44 | + foreach ($constantStrings as $constantString) { |
| 45 | + $resultTypes[] = new ConstantStringType(strrev($constantString->getValue())); |
| 46 | + } |
| 47 | + |
| 48 | + return TypeCombinator::union(...$resultTypes); |
| 49 | + } |
| 50 | + |
| 51 | + $accessoryTypes = []; |
| 52 | + if ($inputType->isNonFalsyString()->yes()) { |
| 53 | + $accessoryTypes[] = new AccessoryNonFalsyStringType(); |
| 54 | + } elseif ($inputType->isNonEmptyString()->yes()) { |
| 55 | + $accessoryTypes[] = new AccessoryNonEmptyStringType(); |
| 56 | + } |
| 57 | + if ($inputType->isLowercaseString()->yes()) { |
| 58 | + $accessoryTypes[] = new AccessoryLowercaseStringType(); |
| 59 | + } |
| 60 | + if ($inputType->isUppercaseString()->yes()) { |
| 61 | + $accessoryTypes[] = new AccessoryUppercaseStringType(); |
| 62 | + } |
| 63 | + |
| 64 | + if (count($accessoryTypes) > 0) { |
| 65 | + $accessoryTypes[] = new StringType(); |
| 66 | + |
| 67 | + return new IntersectionType($accessoryTypes); |
| 68 | + } |
| 69 | + |
| 70 | + return null; |
| 71 | + } |
| 72 | + |
| 73 | +} |
0 commit comments