mirror of
https://github.com/rectorphp/rector.git
synced 2024-06-12 22:22:24 +00:00
ce3c134b0d
a5051ff311
Bump to PHPStan ^1.9.0 (#3033)
106 lines
4.2 KiB
PHP
106 lines
4.2 KiB
PHP
<?php
|
|
|
|
declare (strict_types=1);
|
|
namespace Rector\Core\PHPStan\Reflection\TypeToCallReflectionResolver;
|
|
|
|
use PHPStan\Analyser\Scope;
|
|
use PHPStan\Reflection\MethodReflection;
|
|
use PHPStan\Reflection\ReflectionProvider;
|
|
use PHPStan\Type\Constant\ConstantArrayType;
|
|
use PHPStan\Type\Constant\ConstantArrayTypeAndMethod;
|
|
use PHPStan\Type\Constant\ConstantIntegerType;
|
|
use PHPStan\Type\Constant\ConstantStringType;
|
|
use PHPStan\Type\ObjectType;
|
|
use PHPStan\Type\ObjectWithoutClassType;
|
|
use PHPStan\Type\Type;
|
|
use Rector\Core\Contract\PHPStan\Reflection\TypeToCallReflectionResolver\TypeToCallReflectionResolverInterface;
|
|
/**
|
|
* @see https://github.com/phpstan/phpstan-src/blob/b1fd47bda2a7a7d25091197b125c0adf82af6757/src/Type/Constant/ConstantArrayType.php#L188
|
|
*
|
|
* @implements TypeToCallReflectionResolverInterface<ConstantArrayType>
|
|
*/
|
|
final class ConstantArrayTypeToCallReflectionResolver implements TypeToCallReflectionResolverInterface
|
|
{
|
|
/**
|
|
* @readonly
|
|
* @var \PHPStan\Reflection\ReflectionProvider
|
|
*/
|
|
private $reflectionProvider;
|
|
public function __construct(ReflectionProvider $reflectionProvider)
|
|
{
|
|
$this->reflectionProvider = $reflectionProvider;
|
|
}
|
|
public function supports(Type $type) : bool
|
|
{
|
|
return $type instanceof ConstantArrayType;
|
|
}
|
|
/**
|
|
* @param ConstantArrayType $type
|
|
*/
|
|
public function resolve(Type $type, Scope $scope) : ?MethodReflection
|
|
{
|
|
$constantArrayTypeAndMethod = $this->findTypeAndMethodName($type);
|
|
if (!$constantArrayTypeAndMethod instanceof ConstantArrayTypeAndMethod) {
|
|
return null;
|
|
}
|
|
if ($constantArrayTypeAndMethod->isUnknown()) {
|
|
return null;
|
|
}
|
|
if (!$constantArrayTypeAndMethod->getCertainty()->yes()) {
|
|
return null;
|
|
}
|
|
$constantArrayType = $constantArrayTypeAndMethod->getType();
|
|
$extendedMethodReflection = $constantArrayType->getMethod($constantArrayTypeAndMethod->getMethod(), $scope);
|
|
if (!$scope->canCallMethod($extendedMethodReflection)) {
|
|
return null;
|
|
}
|
|
return $extendedMethodReflection;
|
|
}
|
|
/**
|
|
* @see https://github.com/phpstan/phpstan-src/blob/b1fd47bda2a7a7d25091197b125c0adf82af6757/src/Type/Constant/ConstantArrayType.php#L209
|
|
*/
|
|
private function findTypeAndMethodName(ConstantArrayType $constantArrayType) : ?ConstantArrayTypeAndMethod
|
|
{
|
|
if (!$this->areKeyTypesValid($constantArrayType)) {
|
|
return null;
|
|
}
|
|
if (\count($constantArrayType->getValueTypes()) !== 2) {
|
|
return null;
|
|
}
|
|
$classOrObjectType = $constantArrayType->getValueTypes()[0];
|
|
$methodType = $constantArrayType->getValueTypes()[1];
|
|
if (!$methodType instanceof ConstantStringType) {
|
|
return ConstantArrayTypeAndMethod::createUnknown();
|
|
}
|
|
$objectWithoutClassType = new ObjectWithoutClassType();
|
|
if ($classOrObjectType instanceof ConstantStringType) {
|
|
$value = $classOrObjectType->getValue();
|
|
if (!$this->reflectionProvider->hasClass($value)) {
|
|
return ConstantArrayTypeAndMethod::createUnknown();
|
|
}
|
|
$classReflection = $this->reflectionProvider->getClass($value);
|
|
$type = new ObjectType($classReflection->getName());
|
|
} elseif ($objectWithoutClassType->isSuperTypeOf($classOrObjectType)->yes()) {
|
|
$type = $classOrObjectType;
|
|
} else {
|
|
return ConstantArrayTypeAndMethod::createUnknown();
|
|
}
|
|
$trinaryLogic = $type->hasMethod($methodType->getValue());
|
|
if (!$trinaryLogic->no()) {
|
|
return ConstantArrayTypeAndMethod::createConcrete($type, $methodType->getValue(), $trinaryLogic);
|
|
}
|
|
return null;
|
|
}
|
|
private function areKeyTypesValid(ConstantArrayType $constantArrayType) : bool
|
|
{
|
|
$keyTypes = $constantArrayType->getKeyTypes();
|
|
if (\count($keyTypes) !== 2) {
|
|
return \false;
|
|
}
|
|
if ($keyTypes[0]->isSuperTypeOf(new ConstantIntegerType(0))->no()) {
|
|
return \false;
|
|
}
|
|
return !$keyTypes[1]->isSuperTypeOf(new ConstantIntegerType(1))->no();
|
|
}
|
|
}
|