Add support for closed-resource

Author: mspirkov

src/PseudoTypes/ClosedResource.php

@@ -0,0 +1,36 @@
+<?php
+
+declare(strict_types=1);
+
+/**
+ * This file is part of phpDocumentor.
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ *
+ * @link      http://phpdoc.org
+ */
+
+namespace phpDocumentor\Reflection\PseudoTypes;
+
+use phpDocumentor\Reflection\PseudoType;
+use phpDocumentor\Reflection\Type;
+use phpDocumentor\Reflection\Types\Resource_;
+
+/**
+ * Value Object representing the type 'closed-resource'.
+ *
+ * @psalm-immutable
+ */
+final class ClosedResource extends Resource_ implements PseudoType
+{
+    public function underlyingType(): Type
+    {
+        return new Resource_();
+    }
+
+    public function __toString(): string
+    {
+        return 'closed-resource';
+    }
+}

src/TypeResolver.php

@@ -20,6 +20,7 @@
 use phpDocumentor\Reflection\PseudoTypes\ArrayShapeItem;
 use phpDocumentor\Reflection\PseudoTypes\CallableString;
 use phpDocumentor\Reflection\PseudoTypes\ClassString;
+use phpDocumentor\Reflection\PseudoTypes\ClosedResource;
 use phpDocumentor\Reflection\PseudoTypes\Conditional;
 use phpDocumentor\Reflection\PseudoTypes\ConditionalForParameter;
 use phpDocumentor\Reflection\PseudoTypes\ConstExpression;
@@ -172,6 +173,7 @@ final class TypeResolver
         'non-empty-array' => NonEmptyArray::class,
         'resource' => Resource_::class,
         'open-resource' => OpenResource::class,
+        'closed-resource' => ClosedResource::class,
         'void' => Void_::class,
         'null' => Null_::class,
         'scalar' => Scalar::class,

tests/unit/PseudoTypes/ClosedResourceTest.php

@@ -0,0 +1,32 @@
+<?php
+
+declare(strict_types=1);
+
+/**
+ * This file is part of phpDocumentor.
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ *
+ * @link      http://phpdoc.org
+ */
+
+namespace phpDocumentor\Reflection\PseudoTypes;
+
+use phpDocumentor\Reflection\Types\Resource_;
+use PHPUnit\Framework\TestCase;
+
+final class ClosedResourceTest extends TestCase
+{
+    public function testCreate(): void
+    {
+        $type = new ClosedResource();
+
+        $this->assertEquals(new Resource_(), $type->underlyingType());
+    }
+
+    public function testToString(): void
+    {
+        $this->assertSame('closed-resource', (string) (new ClosedResource()));
+    }
+}

tests/unit/TypeResolverTest.php

@@ -20,6 +20,7 @@
 use phpDocumentor\Reflection\PseudoTypes\ArrayShapeItem;
 use phpDocumentor\Reflection\PseudoTypes\CallableString;
 use phpDocumentor\Reflection\PseudoTypes\ClassString;
+use phpDocumentor\Reflection\PseudoTypes\ClosedResource;
 use phpDocumentor\Reflection\PseudoTypes\Conditional;
 use phpDocumentor\Reflection\PseudoTypes\ConditionalForParameter;
 use phpDocumentor\Reflection\PseudoTypes\ConstExpression;
@@ -665,6 +666,7 @@ public function provideKeywords(): array
             ['false', False_::class],
             ['resource', Resource_::class],
             ['open-resource', OpenResource::class],
+            ['closed-resource', ClosedResource::class],
             ['null', Null_::class],
             ['callable', Callable_::class],
             ['callable-string', CallableString::class],