Add support for ReflectionObject and fix ReflectionZendExtension logic (#50)

* Add support for ReflectionObject and fix ReflectionZendExtension logic

* Fix code style violations

* Fix code style violations

Author: marcospassos

src/Extension/ReflectionExtension.php

@@ -19,8 +19,10 @@
 use ReflectionClass;
 use ReflectionException;
 use ReflectionFunction;
+use ReflectionObject;
 use ReflectionProperty;
 use ReflectionZendExtension;
+use function extension_loaded;
 use function is_a;
 
 class ReflectionExtension implements DynamicConstructorThrowTypeExtension
@@ -45,6 +47,10 @@ public function getThrowTypeFromConstructor(MethodReflection $methodReflection,
 	{
 		$className = $methodReflection->getDeclaringClass()->getName();
 
+		if (is_a($className, ReflectionObject::class, true)) {
+			return new VoidType();
+		}
+
 		if (is_a($className, ReflectionClass::class, true)) {
 			return $this->resolveReflectionClass($newNode, $scope);
 		}
@@ -58,7 +64,7 @@ public function getThrowTypeFromConstructor(MethodReflection $methodReflection,
 		}
 
 		if (is_a($className, ReflectionZendExtension::class, true)) {
-			return $this->resolveReflectionClass($newNode, $scope);
+			return $this->resolveReflectionExtension($newNode, $scope);
 		}
 
 		throw new UnsupportedClassException();
@@ -153,4 +159,28 @@ private function resolveReflectionProperty(New_ $newNode, Scope $scope): Type
 		return new VoidType();
 	}
 
+	private function resolveReflectionExtension(New_ $newNode, Scope $scope): Type
+	{
+		$reflectionExceptionType = new ObjectType(ReflectionException::class);
+		if (!isset($newNode->args[0])) {
+			return $reflectionExceptionType;
+		}
+
+		$valueType = $scope->getType($newNode->args[0]->value);
+
+		foreach (TypeUtils::getConstantStrings($valueType) as $constantString) {
+			if (!extension_loaded($constantString->getValue())) {
+				return $reflectionExceptionType;
+			}
+
+			$valueType = TypeCombinator::remove($valueType, $constantString);
+		}
+
+		if (!$valueType instanceof NeverType) {
+			return $reflectionExceptionType;
+		}
+
+		return new VoidType();
+	}
+
 }

tests/src/Rules/data/throws-php-internal-functions.php

@@ -6,8 +6,10 @@
 use DateTimeImmutable;
 use ReflectionClass;
 use ReflectionFunction;
+use ReflectionObject;
 use ReflectionProperty;
 use ReflectionZendExtension;
+use stdClass;
 use Throwable;
 use function rand;
 
@@ -29,6 +31,8 @@ class Example
 
 	public function testReflection(): void
 	{
+		new ReflectionObject(new stdClass());
+
 		new ReflectionClass(self::class);
 		new ReflectionClass('undefinedClass'); // error: Missing @throws ReflectionException annotation
 
@@ -40,6 +44,7 @@ public function testReflection(): void
 		new ReflectionFunction('count');
 		new ReflectionFunction('undefinedFunction'); // error: Missing @throws ReflectionException annotation
 
+		new ReflectionZendExtension('json');
 		new ReflectionZendExtension('unknownZendExtension'); // error: Missing @throws ReflectionException annotation
 
 		new ReflectionClass(rand(0, 1) === 0 ? self::class : Throwable::class);