Skip to content

Commit ed4ea0a

Browse files
ondrejmirtesondrejmirtes
committed
ClassReflection - cannot be a subclass of final-overriden class
1 parent 5b68bd7 commit ed4ea0a

29 files changed

+122
-80
lines changed

‎build/PHPStan/Build/FinalClassRule.php‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ public function processNode(Node $node, Scope $scope): array
4444
if ($classReflection->isFinal()) {
4545
return [];
4646
}
47-
if ($classReflection->isSubclassOf(Type::class)) {
47+
if ($classReflection->is(Type::class)) {
4848
return [];
4949
}
5050

‎phpstan-baseline.neon‎

Lines changed: 9 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -300,6 +300,15 @@ parameters:
300300
count: 1
301301
path: src/Reflection/BetterReflection/SourceLocator/SkipClassAliasSourceLocator.php
302302

303+
-
304+
message: '''
305+
#^Call to deprecated method isSubclassOf\(\) of class PHPStan\\Reflection\\ClassReflection\:
306+
Use isSubclassOfClass instead\.$#
307+
'''
308+
identifier: method.deprecated
309+
count: 1
310+
path: src/Reflection/ClassReflection.php
311+
303312
-
304313
message: '#^Doing instanceof PHPStan\\Type\\Generic\\GenericObjectType is error\-prone and deprecated\.$#'
305314
identifier: phpstanApi.instanceofType
@@ -1317,12 +1326,6 @@ parameters:
13171326
count: 2
13181327
path: src/Type/IntegerType.php
13191328

1320-
-
1321-
message: '#^Doing instanceof PHPStan\\Type\\Accessory\\AccessoryType is error\-prone and deprecated\. Use methods on PHPStan\\Type\\Type instead\.$#'
1322-
identifier: phpstanApi.instanceofType
1323-
count: 3
1324-
path: src/Type/IntersectionType.php
1325-
13261329
-
13271330
message: '#^Doing instanceof PHPStan\\Type\\ArrayType is error\-prone and deprecated\. Use Type\:\:isArray\(\) or Type\:\:getArrays\(\) instead\.$#'
13281331
identifier: phpstanApi.instanceofType
@@ -1647,12 +1650,6 @@ parameters:
16471650
count: 2
16481651
path: src/Type/StringType.php
16491652

1650-
-
1651-
message: '#^Doing instanceof PHPStan\\Type\\Accessory\\AccessoryType is error\-prone and deprecated\. Use methods on PHPStan\\Type\\Type instead\.$#'
1652-
identifier: phpstanApi.instanceofType
1653-
count: 1
1654-
path: src/Type/TypeCombinator.php
1655-
16561653
-
16571654
message: '#^Doing instanceof PHPStan\\Type\\ArrayType is error\-prone and deprecated\. Use Type\:\:isArray\(\) or Type\:\:getArrays\(\) instead\.$#'
16581655
identifier: phpstanApi.instanceofType
@@ -1815,12 +1812,6 @@ parameters:
18151812
count: 1
18161813
path: src/Type/UnionType.php
18171814

1818-
-
1819-
message: '#^Doing instanceof PHPStan\\Type\\Accessory\\AccessoryType is error\-prone and deprecated\. Use methods on PHPStan\\Type\\Type instead\.$#'
1820-
identifier: phpstanApi.instanceofType
1821-
count: 3
1822-
path: src/Type/UnionTypeHelper.php
1823-
18241815
-
18251816
message: '#^Doing instanceof PHPStan\\Type\\CallableType is error\-prone and deprecated\. Use Type\:\:isCallable\(\) and Type\:\:getCallableParametersAcceptors\(\) instead\.$#'
18261817
identifier: phpstanApi.instanceofType

‎src/Analyser/MutatingScope.php‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -5447,22 +5447,22 @@ public function canWriteProperty(ExtendedPropertyReflection $propertyReflection)
54475447
return $this->canAccessClassMember($propertyReflection);
54485448
}
54495449

5450-
$classReflectionName = $propertyReflection->getDeclaringClass()->getName();
5451-
$canAccessClassMember = static function (ClassReflection $classReflection) use ($propertyReflection, $classReflectionName) {
5450+
$propertyDeclaringClass = $propertyReflection->getDeclaringClass();
5451+
$canAccessClassMember = static function (ClassReflection $classReflection) use ($propertyReflection, $propertyDeclaringClass) {
54525452
if ($propertyReflection->isPrivateSet()) {
5453-
return $classReflection->getName() === $classReflectionName;
5453+
return $classReflection->getName() === $propertyDeclaringClass->getName();
54545454
}
54555455

54565456
// protected set
54575457

54585458
if (
5459-
$classReflection->getName() === $classReflectionName
5460-
|| $classReflection->isSubclassOf($classReflectionName)
5459+
$classReflection->getName() === $propertyDeclaringClass->getName()
5460+
|| $classReflection->isSubclassOfClass($propertyDeclaringClass)
54615461
) {
54625462
return true;
54635463
}
54645464

5465-
return $propertyReflection->getDeclaringClass()->isSubclassOf($classReflection->getName());
5465+
return $propertyReflection->getDeclaringClass()->isSubclassOfClass($classReflection);
54665466
};
54675467

54685468
foreach ($this->inClosureBindScopeClasses as $inClosureBindScopeClass) {
@@ -5504,22 +5504,22 @@ private function canAccessClassMember(ClassMemberReflection $classMemberReflecti
55045504
return true;
55055505
}
55065506

5507-
$classReflectionName = $classMemberReflection->getDeclaringClass()->getName();
5508-
$canAccessClassMember = static function (ClassReflection $classReflection) use ($classMemberReflection, $classReflectionName) {
5507+
$classMemberDeclaringClass = $classMemberReflection->getDeclaringClass();
5508+
$canAccessClassMember = static function (ClassReflection $classReflection) use ($classMemberReflection, $classMemberDeclaringClass) {
55095509
if ($classMemberReflection->isPrivate()) {
5510-
return $classReflection->getName() === $classReflectionName;
5510+
return $classReflection->getName() === $classMemberDeclaringClass->getName();
55115511
}
55125512

55135513
// protected
55145514

55155515
if (
5516-
$classReflection->getName() === $classReflectionName
5517-
|| $classReflection->isSubclassOf($classReflectionName)
5516+
$classReflection->getName() === $classMemberDeclaringClass->getName()
5517+
|| $classReflection->isSubclassOfClass($classMemberDeclaringClass)
55185518
) {
55195519
return true;
55205520
}
55215521

5522-
return $classMemberReflection->getDeclaringClass()->isSubclassOf($classReflection->getName());
5522+
return $classMemberReflection->getDeclaringClass()->isSubclassOfClass($classReflection);
55235523
};
55245524

55255525
foreach ($this->inClosureBindScopeClasses as $inClosureBindScopeClass) {

‎src/Analyser/NodeScopeResolver.php‎

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2970,10 +2970,7 @@ static function (): void {
29702970
&& $scopeFunction instanceof MethodReflection
29712971
&& !$scopeFunction->isStatic()
29722972
&& $scope->isInClass()
2973-
&& (
2974-
$scope->getClassReflection()->getName() === $methodReflection->getDeclaringClass()->getName()
2975-
|| $scope->getClassReflection()->isSubclassOf($methodReflection->getDeclaringClass()->getName())
2976-
)
2973+
&& $scope->getClassReflection()->is($methodReflection->getDeclaringClass()->getName())
29772974
) {
29782975
$scope = $scope->invalidateExpression(new Variable('this'), true);
29792976
}
@@ -2985,7 +2982,7 @@ static function (): void {
29852982
&& $scopeFunction instanceof MethodReflection
29862983
&& !$scopeFunction->isStatic()
29872984
&& $scope->isInClass()
2988-
&& $scope->getClassReflection()->isSubclassOf($methodReflection->getDeclaringClass()->getName())
2985+
&& $scope->getClassReflection()->isSubclassOfClass($methodReflection->getDeclaringClass())
29892986
) {
29902987
$thisType = $scope->getType(new Variable('this'));
29912988
$methodClassReflection = $methodReflection->getDeclaringClass();
@@ -4215,7 +4212,7 @@ private function getConstructorThrowPoint(MethodReflection $constructorReflectio
42154212
return ThrowPoint::createExplicit($scope, $throwType, $new, true);
42164213
}
42174214
} elseif ($this->implicitThrows) {
4218-
if ($classReflection->getName() !== Throwable::class && !$classReflection->isSubclassOf(Throwable::class)) {
4215+
if (!$classReflection->is(Throwable::class)) {
42194216
return ThrowPoint::createImplicit($scope, $methodCall);
42204217
}
42214218
}

‎src/Analyser/Scope.php‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,10 @@ public function getIterableKeyType(Type $iteratee): Type;
8585

8686
public function getIterableValueType(Type $iteratee): Type;
8787

88+
/**
89+
* @phpstan-assert-if-true !null $this->getAnonymousFunctionReflection()
90+
* @phpstan-assert-if-true !null $this->getAnonymousFunctionReturnType()
91+
*/
8892
public function isInAnonymousFunction(): bool;
8993

9094
public function getAnonymousFunctionReflection(): ?ParametersAcceptor;

‎src/Reflection/ClassReflection.php‎

Lines changed: 19 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -837,20 +837,33 @@ public function is(string $className): bool
837837
return $this->getName() === $className || $this->isSubclassOf($className);
838838
}
839839

840+
/**
841+
* @deprecated Use isSubclassOfClass instead.
842+
*/
840843
public function isSubclassOf(string $className): bool
841844
{
842-
if (isset($this->subclasses[$className])) {
843-
return $this->subclasses[$className];
845+
if (!$this->reflectionProvider->hasClass($className)) {
846+
return false;
844847
}
845848

846-
if (!$this->reflectionProvider->hasClass($className)) {
847-
return $this->subclasses[$className] = false;
849+
return $this->isSubclassOfClass($this->reflectionProvider->getClass($className));
850+
}
851+
852+
public function isSubclassOfClass(self $class): bool
853+
{
854+
$cacheKey = $class->getCacheKey();
855+
if (isset($this->subclasses[$cacheKey])) {
856+
return $this->subclasses[$cacheKey];
857+
}
858+
859+
if ($class->isFinal() || $class->isAnonymous()) {
860+
return $this->subclasses[$cacheKey] = false;
848861
}
849862

850863
try {
851-
return $this->subclasses[$className] = $this->reflection->isSubclassOf($className);
864+
return $this->subclasses[$cacheKey] = $this->reflection->isSubclassOf($class->getName());
852865
} catch (ReflectionException) {
853-
return $this->subclasses[$className] = false;
866+
return $this->subclasses[$cacheKey] = false;
854867
}
855868
}
856869

‎src/Reflection/Php/Soap/SoapClientMethodsClassReflectionExtension.php‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ final class SoapClientMethodsClassReflectionExtension implements MethodsClassRef
1111

1212
public function hasMethod(ClassReflection $classReflection, string $methodName): bool
1313
{
14-
return $classReflection->getName() === 'SoapClient' || $classReflection->isSubclassOf('SoapClient');
14+
return $classReflection->is('SoapClient');
1515
}
1616

1717
public function getMethod(ClassReflection $classReflection, string $methodName): MethodReflection

‎src/Reflection/Php/UniversalObjectCratesClassReflectionExtension.php‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -59,10 +59,7 @@ private static function isUniversalObjectCrateImplementation(
5959
continue;
6060
}
6161

62-
if (
63-
$classReflection->getName() === $className
64-
|| $classReflection->isSubclassOf($className)
65-
) {
62+
if ($classReflection->is($className)) {
6663
return true;
6764
}
6865
}

‎src/Rules/Api/ApiInstanceofRule.php‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ public function processNode(Node $node, Scope $scope): array
8181
*/
8282
private function processCoveredClass(Node\Expr\Instanceof_ $node, Scope $scope, ClassReflection $classReflection): array
8383
{
84-
if ($classReflection->getName() === Type::class || $classReflection->isSubclassOf(Type::class)) {
84+
if ($classReflection->is(Type::class)) {
8585
return [];
8686
}
8787
if ($classReflection->isInterface()) {

‎src/Rules/Api/ApiInstanceofTypeRule.php‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ public function processNode(Node $node, Scope $scope): array
128128

129129
if ($this->reflectionProvider->hasClass($className)) {
130130
$classReflection = $this->reflectionProvider->getClass($className);
131-
if ($classReflection->isSubclassOf(AccessoryType::class)) {
131+
if ($classReflection->is(AccessoryType::class)) {
132132
if ($className === $classReflection->getName()) {
133133
return [];
134134
}

0 commit comments

Comments
 (0)