| 1 | <?php declare(strict_types=1); |
||
| 8 | class Result extends Set |
||
| 9 | { |
||
| 10 | protected $totalCount=0; |
||
| 11 | |||
| 12 | /** |
||
| 13 | * Ignores the argument to ensure that a Result is always closed. |
||
| 14 | */ |
||
| 15 | public function setClosed(bool $closed = true) |
||
| 19 | |||
| 20 | /** |
||
| 21 | * Get the total number of members including other pages. |
||
| 22 | */ |
||
| 23 | public function getTotalCount(): int |
||
| 27 | |||
| 28 | /** |
||
| 29 | * Append a Resource and possibly increase totalCount. |
||
| 30 | */ |
||
| 31 | public function append($resource) |
||
| 36 | } |
||
| 37 |