dir.stub.php 528 B

1234567891011121314151617181920212223242526272829
  1. <?php
  2. /** @generate-class-entries */
  3. class Directory
  4. {
  5. public readonly string $path;
  6. /** @var resource */
  7. public readonly mixed $handle;
  8. /**
  9. * @tentative-return-type
  10. * @implementation-alias closedir
  11. */
  12. public function close(): void {}
  13. /**
  14. * @tentative-return-type
  15. * @implementation-alias rewinddir
  16. */
  17. public function rewind(): void {}
  18. /**
  19. * @tentative-return-type
  20. * @implementation-alias readdir
  21. */
  22. public function read(): string|false {}
  23. }