Improve Reflection stubs

ReflectionParameter::getPosition(): non-negative-int ReflectionProperty non-empty-string $name ReflectionMethod non-empty-string $name
vimeo · Aug 8, 2023 · 4e934a7 · 4e934a7
1 parent 3098e51
commit 4e934a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -10712,7 +10712,7 @@
 'ReflectionParameter::getDefaultValue' => ['mixed'],
 'ReflectionParameter::getDefaultValueConstantName' => ['?string'],
 'ReflectionParameter::getName' => ['string'],
-'ReflectionParameter::getPosition' => ['int'],
+'ReflectionParameter::getPosition' => ['int<0, max>'],
 'ReflectionParameter::getType' => ['?ReflectionType'],
 'ReflectionParameter::hasType' => ['bool'],
 'ReflectionParameter::isArray' => ['bool'],

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -440,7 +440,7 @@ class ReflectionFunction extends ReflectionFunctionAbstract
 class ReflectionProperty implements Reflector
 {
     /**
-     * @var string
+     * @var non-empty-string
      * @readonly
      */
     public $name;
@@ -539,7 +539,7 @@ class ReflectionProperty implements Reflector
 class ReflectionMethod extends ReflectionFunctionAbstract
 {
     /**
-     * @var string
+     * @var non-empty-string
      * @readonly
      */
     public $name;