Add getter to ArrayShape

antoinelame · antoinelame · commit 81284895e014 · 2023-11-15T22:06:10.000Z
diff --git a/src/PseudoTypes/ArrayShape.php b/src/PseudoTypes/ArrayShape.php
@@ -32,6 +32,14 @@ public function __construct(ArrayShapeItem ...$items)
         $this->items = $items;
     }
 
+    /**
+     * @return ArrayShapeItem[]
+     */
+    public function getItems(): array
+    {
+        return $this->items;
+    }
+
     public function underlyingType(): Type
     {
         return new Array_(new Mixed_(), new ArrayKey());

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,14 @@ public function __construct(ArrayShapeItem ...$items)`
`32`	`32`	`$this->items = $items;`
`33`	`33`	`}`
`34`	`34`
	`35`	`+ /**`
	`36`	`+ * @return ArrayShapeItem[]`
	`37`	`+ */`
	`38`	`+ public function getItems(): array`
	`39`	`+ {`
	`40`	`+ return $this->items;`
	`41`	`+ }`
	`42`	`+`
`35`	`43`	`public function underlyingType(): Type`
`36`	`44`	`{`
`37`	`45`	`return new Array_(new Mixed_(), new ArrayKey());`