Use ConstructorsHelper in ReadOnlyByPhpDocPropertyAssignRule and ReadOnlyPropertyAssignRule

Author: herndlm

src/Rules/Properties/ReadOnlyByPhpDocPropertyAssignRule.php

@@ -5,11 +5,13 @@
 use PhpParser\Node;
 use PHPStan\Analyser\Scope;
 use PHPStan\Node\PropertyAssignNode;
+use PHPStan\Reflection\ConstructorsHelper;
 use PHPStan\Reflection\MethodReflection;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\Type\ThisType;
+use function in_array;
 use function sprintf;
 use function strtolower;
 
@@ -19,7 +21,10 @@
 class ReadOnlyByPhpDocPropertyAssignRule implements Rule
 {
 
-	public function __construct(private PropertyReflectionFinder $propertyReflectionFinder)
+	public function __construct(
+		private PropertyReflectionFinder $propertyReflectionFinder,
+		private ConstructorsHelper $constructorsHelper,
+	)
 	{
 	}
 
@@ -67,7 +72,10 @@ public function processNode(Node $node, Scope $scope): array
 				throw new ShouldNotHappenException();
 			}
 
-			if (strtolower($scopeMethod->getName()) === '__construct' || strtolower($scopeMethod->getName()) === '__unserialize') {
+			if (
+				in_array($scopeMethod->getName(), $this->constructorsHelper->getConstructors($scopeClassReflection), true)
+				|| strtolower($scopeMethod->getName()) === '__unserialize'
+			) {
 				if (!$scope->getType($propertyFetch->var) instanceof ThisType) {
 					$errors[] = RuleErrorBuilder::message(sprintf('@readonly property %s::$%s is not assigned on $this.', $declaringClass->getDisplayName(), $propertyReflection->getName()))->build();
 				}

src/Rules/Properties/ReadOnlyPropertyAssignRule.php

@@ -5,11 +5,13 @@
 use PhpParser\Node;
 use PHPStan\Analyser\Scope;
 use PHPStan\Node\PropertyAssignNode;
+use PHPStan\Reflection\ConstructorsHelper;
 use PHPStan\Reflection\MethodReflection;
 use PHPStan\Rules\Rule;
 use PHPStan\Rules\RuleErrorBuilder;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\Type\ThisType;
+use function in_array;
 use function sprintf;
 use function strtolower;
 
@@ -19,7 +21,10 @@
 class ReadOnlyPropertyAssignRule implements Rule
 {
 
-	public function __construct(private PropertyReflectionFinder $propertyReflectionFinder)
+	public function __construct(
+		private PropertyReflectionFinder $propertyReflectionFinder,
+		private ConstructorsHelper $constructorsHelper,
+	)
 	{
 	}
 
@@ -67,7 +72,10 @@ public function processNode(Node $node, Scope $scope): array
 				throw new ShouldNotHappenException();
 			}
 
-			if (strtolower($scopeMethod->getName()) === '__construct' || strtolower($scopeMethod->getName()) === '__unserialize') {
+			if (
+				in_array($scopeMethod->getName(), $this->constructorsHelper->getConstructors($scopeClassReflection), true)
+				|| strtolower($scopeMethod->getName()) === '__unserialize'
+			) {
 				if (!$scope->getType($propertyFetch->var) instanceof ThisType) {
 					$errors[] = RuleErrorBuilder::message(sprintf('Readonly property %s::$%s is not assigned on $this.', $declaringClass->getDisplayName(), $propertyReflection->getName()))->build();
 				}

tests/PHPStan/Rules/Properties/ReadOnlyByPhpDocPropertyAssignRuleTest.php

@@ -2,6 +2,7 @@
 
 namespace PHPStan\Rules\Properties;
 
+use PHPStan\Reflection\ConstructorsHelper;
 use PHPStan\Rules\Rule;
 use PHPStan\Testing\RuleTestCase;
 
@@ -13,7 +14,14 @@ class ReadOnlyByPhpDocPropertyAssignRuleTest extends RuleTestCase
 
 	protected function getRule(): Rule
 	{
-		return new ReadOnlyByPhpDocPropertyAssignRule(new PropertyReflectionFinder());
+		return new ReadOnlyByPhpDocPropertyAssignRule(
+			new PropertyReflectionFinder(),
+			new ConstructorsHelper(
+				[
+					'ReadonlyPropertyAssignPhpDoc\\TestCase::setUp',
+				],
+			),
+		);
 	}
 
 	public function testRule(): void

tests/PHPStan/Rules/Properties/ReadOnlyPropertyAssignRuleTest.php

@@ -2,6 +2,7 @@
 
 namespace PHPStan\Rules\Properties;
 
+use PHPStan\Reflection\ConstructorsHelper;
 use PHPStan\Rules\Rule;
 use PHPStan\Testing\RuleTestCase;
 use const PHP_VERSION_ID;
@@ -14,7 +15,14 @@ class ReadOnlyPropertyAssignRuleTest extends RuleTestCase
 
 	protected function getRule(): Rule
 	{
-		return new ReadOnlyPropertyAssignRule(new PropertyReflectionFinder());
+		return new ReadOnlyPropertyAssignRule(
+			new PropertyReflectionFinder(),
+			new ConstructorsHelper(
+				[
+					'ReadonlyPropertyAssign\\TestCase::setUp',
+				],
+			),
+		);
 	}
 
 	public function testRule(): void

tests/PHPStan/Rules/Properties/data/readonly-assign-phpdoc.php

@@ -189,3 +189,19 @@ public function __unserialize(array $data) : void
 	}
 
 }
+
+class TestCase
+{
+
+	/**
+	 * @var int
+	 * @readonly
+	 */
+	private $foo;
+
+	protected function setUp(): void
+	{
+		$this->foo = 1; // additional constructor - fine
+	}
+
+}

tests/PHPStan/Rules/Properties/data/readonly-assign.php

@@ -184,3 +184,15 @@ public function __unserialize(array $data) : void
 	}
 
 }
+
+class TestCase
+{
+
+	private readonly int $foo;
+
+	protected function setUp(): void
+	{
+		$this->foo = 1; // additional constructor - fine
+	}
+
+}