Add isPureUnlessCallableIsImpureParameter method

Author: zonuexe

src/Analyser/NodeScopeResolver.php

@@ -5107,6 +5107,23 @@ private function processArgs(
 					}
 					$parameter = $lastParameter;
 				}
+
+				if ($parameter instanceof ExtendedParameterReflection
+					&& $parameter->isPureUnlessCallableIsImpureParameter()
+					&& $parameterType->isTrue()->yes()
+				) {
+					if (count($parameterType->getCallableParametersAcceptors($scope)) > 0) {
+						$parameterCallable = $parameterType->getCallableParametersAcceptors($scope)[0];
+						$certain = $parameterCallable->isPure()->yes();
+						if ($certain) {
+							$impurePoints[] = new SimpleImpurePoint(
+								'functionCall',
+								sprintf('call to function %s()', $calleeReflection->getName()),
+								$certain,
+							);
+						}
+					}
+				}
 			}
 
 			$lookForUnset = false;

src/Reflection/Annotations/AnnotationsMethodParameterReflection.php

@@ -80,4 +80,9 @@ public function getAttributes(): array
 		return [];
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return false;
+	}
+
 }

src/Reflection/ExtendedParameterReflection.php

@@ -26,4 +26,6 @@ public function getClosureThisType(): ?Type;
 	 */
 	public function getAttributes(): array;
 
+	public function isPureUnlessCallableIsImpureParameter(): bool;
+
 }

src/Reflection/Native/ExtendedNativeParameterReflection.php

@@ -28,6 +28,7 @@ public function __construct(
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
 		private array $attributes,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 	}
@@ -97,4 +98,9 @@ public function getAttributes(): array
 		return $this->attributes;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/ExtendedDummyParameter.php

@@ -28,6 +28,7 @@ public function __construct(
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
 		private array $attributes,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 		parent::__construct($name, $type, $optional, $passedByReference, $variadic, $defaultValue);
@@ -68,4 +69,9 @@ public function getAttributes(): array
 		return $this->attributes;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/PhpFunctionFromParserNodeReflection.php

@@ -170,6 +170,12 @@ public function getParameters(): array
 				$closureThisType = null;
 			}
 
+			if (isset($this->pureUnlessCallableIsImpureParameters[$parameter->var->name])) {
+				$pureUnlessCallableIsImpureParameter = $this->pureUnlessCallableIsImpureParameters[$parameter->var->name];
+			} else {
+				$pureUnlessCallableIsImpureParameter = false;
+			}
+
 			$parameters[] = new PhpParameterFromParserNodeReflection(
 				$parameter->var->name,
 				$isOptional,
@@ -184,6 +190,7 @@ public function getParameters(): array
 				$immediatelyInvokedCallable,
 				$closureThisType,
 				$this->parameterAttributes[$parameter->var->name] ?? [],
+				$pureUnlessCallableIsImpureParameter,
 			);
 		}
 

src/Reflection/Php/PhpParameterFromParserNodeReflection.php

@@ -31,6 +31,7 @@ public function __construct(
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
 		private array $attributes,
+		private bool $pureUnlessCallableIsImpureParameter,
 	)
 	{
 	}
@@ -113,4 +114,9 @@ public function getAttributes(): array
 		return $this->attributes;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }

src/Reflection/Php/PhpParameterReflection.php

@@ -34,6 +34,7 @@ public function __construct(
 		private TrinaryLogic $immediatelyInvokedCallable,
 		private ?Type $closureThisType,
 		private array $attributes,
+		private bool $pureUnlessCallableIsImpureParameter = false,
 	)
 	{
 	}
@@ -143,4 +144,9 @@ public function getAttributes(): array
 		return $this->attributes;
 	}
 
+	public function isPureUnlessCallableIsImpureParameter(): bool
+	{
+		return $this->pureUnlessCallableIsImpureParameter;
+	}
+
 }