Merge pull request #8592 from gphargreaves/#7810/improve-reflection-s…

…tubs #7810/improve reflection stubs
vimeo · Oct 17, 2022 · e8e8777 · e8e8777
2 parents 48b8efd + 45bb58e
commit e8e8777
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/stubs/Php80.phpstub b/stubs/Php80.phpstub
@@ -57,6 +57,8 @@ class ReflectionClassConstant
 
 class Attribute
 {
+    public int $flags;
+
     public const TARGET_CLASS = 1;
     public const TARGET_FUNCTION = 2;
     public const TARGET_METHOD = 4;

diff --git a/stubs/Reflection.phpstub b/stubs/Reflection.phpstub
@@ -88,6 +88,21 @@ class ReflectionProperty implements Reflector
      * @psalm-mutation-free
      */
     public function getType() : ?ReflectionType {}
+
+    /**
+    * @since 8.0
+    */
+    public function hasDefaultValue(): bool {}
+
+    /**
+    * @since 8.0
+    */
+    public function isPromoted(): bool {}
+
+    /**
+    * @since 8.1
+    */
+    public function isReadOnly(): bool {}
 }
 
 class ReflectionMethod implements Reflector
@@ -132,6 +147,11 @@ class ReflectionParameter implements Reflector {
      * @return ($name is null ? array<ReflectionAttribute<object>> : array<ReflectionAttribute<TClass>>)
      */
     public function getAttributes(?string $name = null, int $flags = 0): array {}
+
+    /**
+    * @since 8.0
+    */
+    public function isPromoted(): bool {}
 }
 
 /**