Reflection class stub updates

vimeo · Dec 18, 2022 · 5ac3ef7 · 5ac3ef7
1 parent 9f15a91
commit 5ac3ef7
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 10 deletions.
diff --git a/stubs/Php80.phpstub b/stubs/Php80.phpstub
@@ -92,7 +92,6 @@ class ReflectionClass implements Reflector {
      * @template J as object
      * @param self<J>|class-string<J> $class
      * @psalm-assert-if-true self<T&J> $this
-     *
      * @psalm-pure
      */
     public function isSubclassOf(self|string $class): bool {}
@@ -101,7 +100,6 @@ class ReflectionClass implements Reflector {
      * @template J as object
      * @param self<J>|interface-string<J> $interface
      * @psalm-assert-if-true self<T&J> $this
-     *
      * @psalm-pure
      */
     public function implementsInterface(self|string $interface): bool {}

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -147,15 +147,13 @@ class ReflectionClass implements Reflector {
     public function getReflectionConstants(?int $filter = null): array {}
 
     /**
-     * @return array<class-string, self>
-     *
+     * @return array<interface-string, self>
      * @psalm-pure
      */
     public function getInterfaces(): array {}
 
     /**
-     * @return list<class-string>
-     *
+     * @return list<interface-string>
      * @psalm-pure
      */
     public function getInterfaceNames(): array {}
@@ -192,7 +190,12 @@ class ReflectionClass implements Reflector {
      */
     public function getModifiers(): bool {}
 
-    /** @psalm-pure */
+    /**
+     * @template J as object
+     * @param J $object
+     * @psalm-assert-if-true T&J $object
+     * @psalm-pure
+     */
     public function isInstance(object $object): bool {}
 
     /**
@@ -225,7 +228,6 @@ class ReflectionClass implements Reflector {
      * @template J as object
      * @param self<J>|class-string<J> $class
      * @psalm-assert-if-true self<T&J> $this
-     *
      * @psalm-pure
      */
     public function isSubclassOf($class): bool {}
@@ -250,7 +252,6 @@ class ReflectionClass implements Reflector {
      * @template J as object
      * @param self<J>|interface-string<J> $interface
      * @psalm-assert-if-true self<T&J> $this
-     *
      * @psalm-pure
      */
     public function implementsInterface($interface): bool {}
@@ -279,7 +280,7 @@ class ReflectionClass implements Reflector {
     public function getShortName(): string {}
 
     /**
-     * @return ?array<string>
+     * @return ?list<trait-string>
      * @psalm-ignore-nullable-return
      * @psalm-pure
      */

diff --git a/tests/ReflectionTest.php b/tests/ReflectionTest.php
@@ -32,5 +32,16 @@ public function providerValidCodeParse(): iterable
                 PHP,
             'assertions' => ['$a===' => 'ReflectionClass<stdClass&Iterator>'],
         ];
+        yield 'ReflectionClass::isInstance' => [
+            'code' => <<<'PHP'
+                <?php
+                $a = new stdClass();
+                $b = new ReflectionClass(Iterator::class);
+                if (!$b->isInstance($a)) {
+                    throw new Exception();
+                }
+                PHP,
+            'assertions' => ['$a===' => 'Iterator&stdClass'],
+        ];
     }
 }