Add ReflectionProperty::getType() and hasType()

vimeo · Apr 6, 2021 · 3839970 · 3839970
1 parent 6851b5c
commit 3839970
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 0 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -11564,6 +11564,7 @@
 'ReflectionProperty::getName' => ['string'],
 'ReflectionProperty::getType' => ['?ReflectionType'],
 'ReflectionProperty::getValue' => ['mixed', 'object='=>'object'],
+'ReflectionProperty::hasType' => ['bool'],
 'ReflectionProperty::isDefault' => ['bool'],
 'ReflectionProperty::isPrivate' => ['bool'],
 'ReflectionProperty::isProtected' => ['bool'],

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -76,6 +76,17 @@ class ReflectionProperty implements Reflector
      * @return array<ReflectionAttribute<TClass>>
      */
     public function getAttributes(?string $name = null, int $flags = 0): array {}
+
+    /**
+     * @since 7.4
+     * @psalm-assert-if-true ReflectionType $this->getType()
+     */
+    public function hasType() : bool {}
+
+    /**
+     * @since 7.4
+     */
+    public function getType() : ?ReflectionType {}
 }
 
 class ReflectionMethod implements Reflector

diff --git a/tests/AssertAnnotationTest.php b/tests/AssertAnnotationTest.php
@@ -1509,6 +1509,16 @@ function foo(array $foos) : array {
                      */
                     function allIsInstanceOf($value, $class): void {}'
             ],
+            'implicitReflectionPropertyAssertion' => [
+                '<?php
+                    $method = new ReflectionClass(stdClass::class);
+                    $properties = $method->getProperties();
+                    foreach ($properties as $property) {
+                        if ($property->hasType()) {
+                            $property->getType()->__toString();
+                        }
+                    }',
+            ],
         ];
     }