wip: temp changes

Author: g105b

phpcs.xml

@@ -19,7 +19,6 @@
 	<rule ref="Generic.Files.EndFileNewline" />
 	<rule ref="Generic.Files.InlineHTML" />
 	<rule ref="Generic.Files.LineEndings" />
-	<rule ref="Generic.Files.LineLength" />
 	<rule ref="Generic.Files.OneClassPerFile" />
 	<rule ref="Generic.Files.OneInterfacePerFile" />
 	<rule ref="Generic.Files.OneObjectStructurePerFile" />

src/Chain/ChainFunctionTypeError.php

@@ -0,0 +1,6 @@
+<?php
+namespace Gt\Promise\Chain;
+
+use Gt\Promise\PromiseException;
+
+class ChainFunctionTypeError extends PromiseException {}

src/Chain/Chainable.php

@@ -1,7 +1,11 @@
 <?php
 namespace Gt\Promise\Chain;
 
+use Closure;
 use ReflectionFunction;
+use ReflectionIntersectionType;
+use ReflectionNamedType;
+use ReflectionUnionType;
 use Throwable;
 use TypeError;
 
@@ -37,20 +41,91 @@ public function callOnRejected(Throwable $reason) {
 		}
 
 		return call_user_func($this->onRejected, $reason);
-//		try {
-//		}
-//		catch(TypeError $error) {
-//			$reflection = new ReflectionFunction($this->onRejected);
-//			$param = $reflection->getParameters()[0] ?? null;
-//			if($param) {
-//				$paramType = (string)$param->getType();
-//
-//				if(!str_contains($error->getMessage(), "must be of type $paramType")) {
-//					throw $error;
-//				}
-//			}
-//
-//			return $reason;
-//		}
+	}
+
+	public function checkResolutionCallbackType(mixed $resolvedValue):void {
+		if(isset($this->onResolved)) {
+			$this->checkType($resolvedValue, $this->onResolved);
+		}
+	}
+
+	public function checkRejectionCallbackType(Throwable $rejection):void {
+		if(isset($this->onRejected)) {
+			$this->checkType($rejection, $this->onRejected);
+		}
+	}
+
+	/**
+	 * @SuppressWarnings(PHPMD.CyclomaticComplexity)
+	 * @SuppressWarnings(PHPMD.NPathComplexity)
+	 */
+	// phpcs:ignore
+	private function checkType(mixed $value, callable $callable):void {
+		if(!$callable instanceof Closure) {
+			return;
+		}
+
+		$refFunction = new ReflectionFunction($callable);
+		$refParameterList = $refFunction->getParameters();
+		if(!isset($refParameterList[0])) {
+			return;
+		}
+		$refParameter = $refParameterList[0];
+		$nullable = $refParameter->allowsNull();
+
+		if(is_null($value)) {
+			if(!$nullable) {
+				throw new ChainFunctionTypeError("Then function's parameter is not nullable");
+			}
+		}
+
+		$allowedTypes = [];
+		$refType = $refParameter->getType();
+
+		if($refType instanceof ReflectionUnionType || $refType instanceof ReflectionIntersectionType) {
+			foreach($refType->getTypes() as $refSubType) {
+				array_push($allowedTypes, $refSubType->getName());
+			}
+		}
+		else {
+			/** @var ?ReflectionNamedType $refType */
+			array_push($allowedTypes, $refType?->getName());
+		}
+
+		$valueType = is_object($value)
+			? get_class($value)
+			: gettype($value);
+		foreach($allowedTypes as $allowedType) {
+			$allowedType = match($allowedType) {
+				"int" => "integer",
+				"float" => "double",
+				default => $allowedType,
+			};
+			if(is_null($allowedType) || $allowedType === "mixed") {
+// A typeless property is defined - allow anything!
+				return;
+			}
+			if($allowedType === $valueType) {
+				return;
+			}
+
+			if(is_a($allowedType, $valueType)) {
+				return;
+			}
+
+
+			if($allowedType === "string") {
+				if($valueType === "double" || $valueType === "integer") {
+					return;
+				}
+			}
+			if($allowedType === "double") {
+				if(is_numeric($value)) {
+					return;
+				}
+			}
+		}
+
+		throw new ChainFunctionTypeError("Value $value is not compatible with chainable parameter");
 	}
 }

src/Chain/ThenChain.php

@@ -1,4 +1,5 @@
 <?php
 namespace Gt\Promise\Chain;
 
-class ThenChain extends Chainable {}
+class ThenChain extends Chainable {
+}

src/Promise.php

@@ -3,12 +3,15 @@
 
 use Gt\Promise\Chain\CatchChain;
 use Gt\Promise\Chain\Chainable;
+use Gt\Promise\Chain\ChainFunctionTypeError;
 use Gt\Promise\Chain\FinallyChain;
 use Gt\Promise\Chain\ThenChain;
 use Throwable;
 
 class Promise implements PromiseInterface {
 	private mixed $resolvedValue;
+	/** @var bool This is required due to the ability to set `null` as a resolved value. */
+	private bool $resolvedValueSet = false;
 	private Throwable $rejectedReason;
 
 	/** @var Chainable[] */
@@ -33,7 +36,7 @@ public function getState():PromiseState {
 		if(isset($this->rejectedReason)) {
 			return PromiseState::REJECTED;
 		}
-		elseif(isset($this->resolvedValue)) {
+		elseif($this->resolvedValueSet) {
 			return PromiseState::RESOLVED;
 		}
 
@@ -107,6 +110,7 @@ private function resolve(mixed $value):void {
 		}
 
 		$this->resolvedValue = $value;
+		$this->resolvedValueSet = true;
 	}
 
 	private function reject(Throwable $reason):void {
@@ -133,6 +137,8 @@ private function tryComplete():void {
 		}
 	}
 
+	/** @SuppressWarnings(PHPMD.CyclomaticComplexity) */
+	// phpcs:ignore
 	private function complete():void {
 		usort(
 			$this->chain,
@@ -155,11 +161,28 @@ function(Chainable $a, Chainable $b) {
 			}
 
 			if($chainItem instanceof ThenChain) {
+				try {
+					if($this->resolvedValueSet) {
+						$chainItem->checkResolutionCallbackType($this->resolvedValue);
+					}
+				}
+				catch(ChainFunctionTypeError) {
+					continue;
+				}
+
 				$this->handleThen($chainItem);
 			}
 			elseif($chainItem instanceof CatchChain) {
-				if($handled = $this->handleCatch($chainItem)) {
-					array_push($this->handledRejections, $handled);
+				try {
+					if(isset($this->rejectedReason)) {
+						$chainItem->checkRejectionCallbackType($this->rejectedReason);
+					}
+					if($handled = $this->handleCatch($chainItem)) {
+						array_push($this->handledRejections, $handled);
+					}
+				}
+				catch(ChainFunctionTypeError) {
+					continue;
 				}
 			}
 			elseif($chainItem instanceof FinallyChain) {
@@ -180,8 +203,7 @@ private function handleThen(ThenChain $then):void {
 		}
 
 		try {
-			$result = $then->callOnResolved($this->resolvedValue)
-				?? $this->resolvedValue ?? null;
+			$result = $then->callOnResolved($this->resolvedValue);
 
 			if($result instanceof PromiseInterface) {
 				$this->chainPromise($result);