wip

zonuexe · zonuexe · commit e4e54cb87979 · 2025-08-01T22:44:05.000+09:00
diff --git a/src/Reflection/Annotations/AnnotationMethodReflection.php b/src/Reflection/Annotations/AnnotationMethodReflection.php
@@ -178,6 +178,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];
diff --git a/src/Reflection/Dummy/ChangedTypeMethodReflection.php b/src/Reflection/Dummy/ChangedTypeMethodReflection.php
@@ -165,6 +165,11 @@ public function isPure(): TrinaryLogic
 		return $this->reflection->isPure();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->reflection->getAttributes();
diff --git a/src/Reflection/Dummy/DummyConstructorReflection.php b/src/Reflection/Dummy/DummyConstructorReflection.php
@@ -152,6 +152,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];
diff --git a/src/Reflection/Dummy/DummyMethodReflection.php b/src/Reflection/Dummy/DummyMethodReflection.php
@@ -144,6 +144,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];
diff --git a/src/Reflection/ExtendedMethodReflection.php b/src/Reflection/ExtendedMethodReflection.php
@@ -60,6 +60,11 @@ public function isBuiltin(): TrinaryLogic|bool;
 	 */
 	public function isPure(): TrinaryLogic;
 
+	/**
+	 * @return array<string, bool>
+	 */
+	public function getPureUnlessCallableIsImpureParameters(): array;
+
 	/**
 	 * @return list<AttributeReflection>
 	 */
diff --git a/src/Reflection/FunctionReflection.php b/src/Reflection/FunctionReflection.php
@@ -57,6 +57,11 @@ public function returnsByReference(): TrinaryLogic;
 	 */
 	public function isPure(): TrinaryLogic;
 
+	/**
+	 * @return array<string, bool>
+	 */
+	public function getPureUnlessCallableIsImpureParameters(): array;
+
 	/**
 	 * @return list<AttributeReflection>
 	 */
diff --git a/src/Reflection/Native/NativeFunctionReflection.php b/src/Reflection/Native/NativeFunctionReflection.php
@@ -109,6 +109,11 @@ public function isPure(): TrinaryLogic
 		return $this->hasSideEffects->negate();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	private function isVoid(): bool
 	{
 		foreach ($this->variants as $variant) {
diff --git a/src/Reflection/Native/NativeMethodReflection.php b/src/Reflection/Native/NativeMethodReflection.php
@@ -186,6 +186,11 @@ public function isPure(): TrinaryLogic
 		return $this->hasSideEffects->negate();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	private function isVoid(): bool
 	{
 		foreach ($this->variants as $variant) {
diff --git a/src/Reflection/Php/ClosureCallMethodReflection.php b/src/Reflection/Php/ClosureCallMethodReflection.php
@@ -197,6 +197,11 @@ public function isPure(): TrinaryLogic
 		return $this->nativeMethodReflection->isPure();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->nativeMethodReflection->getAttributes();
diff --git a/src/Reflection/Php/EnumCasesMethodReflection.php b/src/Reflection/Php/EnumCasesMethodReflection.php
@@ -156,6 +156,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];
diff --git a/src/Reflection/Php/ExitFunctionReflection.php b/src/Reflection/Php/ExitFunctionReflection.php
@@ -138,6 +138,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return [];
diff --git a/src/Reflection/Php/PhpClassReflectionExtension.php b/src/Reflection/Php/PhpClassReflectionExtension.php
@@ -840,10 +840,13 @@ public function createUserlandMethodReflection(ClassReflection $fileDeclaringCla
 		$isInternal = $resolvedPhpDoc->isInternal();
 		$isFinal = $resolvedPhpDoc->isFinal();
 		$isPure = null;
+		$pureUnlessCallableIsImpureParameters = [];
 		foreach ($actualDeclaringClass->getAncestors() as $className => $ancestor) {
 			if ($this->signatureMapProvider->hasMethodMetadata($className, $methodReflection->getName())) {
-				$hasSideEffects = $this->signatureMapProvider->getMethodMetadata($className, $methodReflection->getName())['hasSideEffects'] ?? true;
+				$methodMetadata = $this->signatureMapProvider->getMethodMetadata($className, $methodReflection->getName());
+				$hasSideEffects = $methodMetadata['hasSideEffects'] ?? true;
 				$isPure = !$hasSideEffects;
+				$pureUnlessCallableIsImpureParameters += $methodMetadata['pureUnlessCallableIsImpureParameters'] ?? [];
 
 				break;
 			}
@@ -879,6 +882,7 @@ public function createUserlandMethodReflection(ClassReflection $fileDeclaringCla
 			$closureThisParameters,
 			$acceptsNamedArguments,
 			$this->attributeReflectionFactory->fromNativeReflection($methodReflection->getAttributes(), InitializerExprContext::fromClassMethod($actualDeclaringClass->getName(), $declaringTraitName, $methodReflection->getName(), $actualDeclaringClass->getFileName())),
+			$pureUnlessCallableIsImpureParameters,
 		);
 	}
 
diff --git a/src/Reflection/Php/PhpFunctionFromParserNodeReflection.php b/src/Reflection/Php/PhpFunctionFromParserNodeReflection.php
@@ -334,6 +334,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createFromBoolean($this->isPure);
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->attributes;
diff --git a/src/Reflection/Php/PhpFunctionReflection.php b/src/Reflection/Php/PhpFunctionReflection.php
@@ -245,6 +245,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createFromBoolean($this->isPure);
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function isBuiltin(): bool
 	{
 		return $this->reflection->isInternal();
diff --git a/src/Reflection/Php/PhpMethodReflection.php b/src/Reflection/Php/PhpMethodReflection.php
@@ -97,6 +97,7 @@ public function __construct(
 		private array $immediatelyInvokedCallableParameters,
 		private array $phpDocClosureThisTypeParameters,
 		private array $attributes,
+		private array $pureUnlessCallableIsImpureParameters,
 	)
 	{
 	}
@@ -452,6 +453,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createFromBoolean($this->isPure);
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return $this->pureUnlessCallableIsImpureParameters;
+	}
+
 	public function changePropertyGetHookPhpDocType(Type $phpDocType): self
 	{
 		return new self(
@@ -479,6 +485,7 @@ public function changePropertyGetHookPhpDocType(Type $phpDocType): self
 			$this->immediatelyInvokedCallableParameters,
 			$this->phpDocClosureThisTypeParameters,
 			$this->attributes,
+			$this->pureUnlessCallableIsImpureParameters,
 		);
 	}
 
@@ -512,6 +519,7 @@ public function changePropertySetHookPhpDocType(string $parameterName, Type $php
 			$this->immediatelyInvokedCallableParameters,
 			$this->phpDocClosureThisTypeParameters,
 			$this->attributes,
+			$this->pureUnlessCallableIsImpureParameters,
 		);
 	}
 
diff --git a/src/Reflection/Php/PhpMethodReflectionFactory.php b/src/Reflection/Php/PhpMethodReflectionFactory.php
@@ -19,6 +19,7 @@ interface PhpMethodReflectionFactory
 	 * @param array<string, TrinaryLogic> $immediatelyInvokedCallableParameters
 	 * @param array<string, Type> $phpDocClosureThisTypeParameters
 	 * @param list<AttributeReflection> $attributes
+	 * @param array<string, bool> $pureUnlessCallableIsImpureParameters
 	 */
 	public function create(
 		ClassReflection $declaringClass,
@@ -41,6 +42,7 @@ public function create(
 		array $phpDocClosureThisTypeParameters,
 		bool $acceptsNamedArguments,
 		array $attributes,
+		array $pureUnlessCallableIsImpureParameters,
 	): PhpMethodReflection;
 
 }
diff --git a/src/Reflection/ResolvedMethodReflection.php b/src/Reflection/ResolvedMethodReflection.php
@@ -175,6 +175,11 @@ public function isPure(): TrinaryLogic
 		return $this->reflection->isPure();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return $this->reflection->getPureUnlessCallableIsImpureParameters();
+	}
+
 	public function getAsserts(): Assertions
 	{
 		return $this->asserts ??= $this->reflection->getAsserts()->mapTypes(fn (Type $type) => TemplateTypeHelper::resolveTemplateTypes(
diff --git a/src/Reflection/Type/IntersectionTypeMethodReflection.php b/src/Reflection/Type/IntersectionTypeMethodReflection.php
@@ -187,6 +187,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::lazyMaxMin($this->methods, static fn (ExtendedMethodReflection $method): TrinaryLogic => $method->isPure());
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getDocComment(): ?string
 	{
 		return null;
diff --git a/src/Reflection/Type/UnionTypeMethodReflection.php b/src/Reflection/Type/UnionTypeMethodReflection.php
@@ -170,6 +170,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::lazyExtremeIdentity($this->methods, static fn (ExtendedMethodReflection $method): TrinaryLogic => $method->isPure());
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getDocComment(): ?string
 	{
 		return null;
diff --git a/src/Reflection/WrappedExtendedMethodReflection.php b/src/Reflection/WrappedExtendedMethodReflection.php
@@ -143,6 +143,11 @@ public function isPure(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return [];
+	}
+
 	public function getAsserts(): Assertions
 	{
 		return Assertions::createEmpty();
diff --git a/src/Rules/RestrictedUsage/RewrittenDeclaringClassMethodReflection.php b/src/Rules/RestrictedUsage/RewrittenDeclaringClassMethodReflection.php
@@ -100,6 +100,11 @@ public function isPure(): TrinaryLogic
 		return $this->methodReflection->isPure();
 	}
 
+	public function getPureUnlessCallableIsImpureParameters(): array
+	{
+		return $this->methodReflection->getPureUnlessCallableIsImpureParameters();
+	}
+
 	public function getAttributes(): array
 	{
 		return $this->methodReflection->getAttributes();

Original file line number	Diff line number	Diff line change
`@@ -178,6 +178,11 @@ public function isPure(): TrinaryLogic`
`178`	`178`	`return TrinaryLogic::createMaybe();`
`179`	`179`	`}`
`180`	`180`
	`181`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`182`	`+ {`
	`183`	`+ return [];`
	`184`	`+ }`
	`185`	`+`
`181`	`186`	`public function getAttributes(): array`
`182`	`187`	`{`
`183`	`188`	`return [];`
Original file line number	Diff line number	Diff line change
`@@ -165,6 +165,11 @@ public function isPure(): TrinaryLogic`
`165`	`165`	`return $this->reflection->isPure();`
`166`	`166`	`}`
`167`	`167`
	`168`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`169`	`+ {`
	`170`	`+ return [];`
	`171`	`+ }`
	`172`	`+`
`168`	`173`	`public function getAttributes(): array`
`169`	`174`	`{`
`170`	`175`	`return $this->reflection->getAttributes();`
Original file line number	Diff line number	Diff line change
`@@ -152,6 +152,11 @@ public function isPure(): TrinaryLogic`
`152`	`152`	`return TrinaryLogic::createYes();`
`153`	`153`	`}`
`154`	`154`
	`155`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`156`	`+ {`
	`157`	`+ return [];`
	`158`	`+ }`
	`159`	`+`
`155`	`160`	`public function getAttributes(): array`
`156`	`161`	`{`
`157`	`162`	`return [];`
Original file line number	Diff line number	Diff line change
`@@ -144,6 +144,11 @@ public function isPure(): TrinaryLogic`
`144`	`144`	`return TrinaryLogic::createMaybe();`
`145`	`145`	`}`
`146`	`146`
	`147`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`148`	`+ {`
	`149`	`+ return [];`
	`150`	`+ }`
	`151`	`+`
`147`	`152`	`public function getAttributes(): array`
`148`	`153`	`{`
`149`	`154`	`return [];`
Original file line number	Diff line number	Diff line change
`@@ -109,6 +109,11 @@ public function isPure(): TrinaryLogic`
`109`	`109`	`return $this->hasSideEffects->negate();`
`110`	`110`	`}`
`111`	`111`
	`112`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`113`	`+ {`
	`114`	`+ return [];`
	`115`	`+ }`
	`116`	`+`
`112`	`117`	`private function isVoid(): bool`
`113`	`118`	`{`
`114`	`119`	`foreach ($this->variants as $variant) {`
Original file line number	Diff line number	Diff line change
`@@ -186,6 +186,11 @@ public function isPure(): TrinaryLogic`
`186`	`186`	`return $this->hasSideEffects->negate();`
`187`	`187`	`}`
`188`	`188`
	`189`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`190`	`+ {`
	`191`	`+ return [];`
	`192`	`+ }`
	`193`	`+`
`189`	`194`	`private function isVoid(): bool`
`190`	`195`	`{`
`191`	`196`	`foreach ($this->variants as $variant) {`
Original file line number	Diff line number	Diff line change
`@@ -197,6 +197,11 @@ public function isPure(): TrinaryLogic`
`197`	`197`	`return $this->nativeMethodReflection->isPure();`
`198`	`198`	`}`
`199`	`199`
	`200`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`201`	`+ {`
	`202`	`+ return [];`
	`203`	`+ }`
	`204`	`+`
`200`	`205`	`public function getAttributes(): array`
`201`	`206`	`{`
`202`	`207`	`return $this->nativeMethodReflection->getAttributes();`
Original file line number	Diff line number	Diff line change
`@@ -156,6 +156,11 @@ public function isPure(): TrinaryLogic`
`156`	`156`	`return TrinaryLogic::createYes();`
`157`	`157`	`}`
`158`	`158`
	`159`	`+ public function getPureUnlessCallableIsImpureParameters(): array`
	`160`	`+ {`
	`161`	`+ return [];`
	`162`	`+ }`
	`163`	`+`
`159`	`164`	`public function getAttributes(): array`
`160`	`165`	`{`
`161`	`166`	`return [];`