Add tests

Author: VincentLanglet

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -244,6 +244,22 @@ public function testAllMethodsArePure(): void
 'Method AllMethodsArePure\Bar::impure() is marked as impure but does not have any side effects.',
 48,
 ],
+[
+'Impure call to method AllMethodsArePure\Test::impure() in pure method AllMethodsArePure\SideEffectPure::nothingWithImpure().',
+78,
+],
+[
+'Method AllMethodsArePure\SideEffectPure::impureWithPure() is marked as impure but does not have any side effects.',
+88,
+],
+[
+'Method AllMethodsArePure\SideEffectImpure::nothingWithPure() is marked as impure but does not have any side effects.',
+101,
+],
+[
+'Impure call to method AllMethodsArePure\Test::impure() in pure method AllMethodsArePure\SideEffectImpure::pureWithImpure().',
+106,
+],
 ]);
 }
 

tests/PHPStan/Rules/Pure/data/all-methods-are-pure.php

@@ -49,3 +49,64 @@ function impure(): void
 {
 }
 }
+
+class Test
+{
+/**
+ * @phpstan-impure
+ */
+public static function impure(): void
+{
+}
+
+/**
+ * @phpstan-pure
+ * @throws void
+ */
+public static function pure(): int
+{
+return 1;
+}
+}
+
+/**
+ * @phpstan-all-methods-pure
+ */
+final class SideEffectPure
+{
+public function nothingWithImpure(): int {
+Test::impure();
+}
+public function nothingWithPure(): int {
+Test::pure();
+}
+/** @phpstan-impure */
+public function impureWithImpure(): int {
+Test::impure();
+}
+/** @phpstan-impure */
+public function impureWithPure(): int {
+Test::pure();
+}
+}
+
+/**
+ * @phpstan-all-methods-impure
+ */
+final class SideEffectImpure
+{
+public function nothingWithImpure(): int {
+Test::impure();
+}
+public function nothingWithPure(): int {
+Test::pure();
+}
+/** @phpstan-pure */
+public function pureWithImpure(): int {
+Test::impure();
+}
+/** @phpstan-pure */
+public function pureWithPure(): int {
+Test::pure();
+}
+}