2020-03-29 18:24:16 +00:00
|
|
|
<?php
|
|
|
|
|
2021-02-17 12:42:42 +00:00
|
|
|
/** @generate-class-entries */
|
2020-04-13 14:28:55 +00:00
|
|
|
|
2020-03-29 18:24:16 +00:00
|
|
|
class Directory
|
|
|
|
{
|
2021-08-19 08:31:53 +00:00
|
|
|
public readonly string $path;
|
|
|
|
|
|
|
|
/** @var resource */
|
|
|
|
public readonly mixed $handle;
|
|
|
|
|
2020-03-29 18:24:16 +00:00
|
|
|
/**
|
2021-05-28 13:46:04 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias closedir
|
2020-03-29 18:24:16 +00:00
|
|
|
*/
|
2021-05-28 13:46:04 +00:00
|
|
|
public function close(): void {}
|
2020-03-29 18:24:16 +00:00
|
|
|
|
|
|
|
/**
|
2021-05-28 13:46:04 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias rewinddir
|
2020-03-29 18:24:16 +00:00
|
|
|
*/
|
2021-05-28 13:46:04 +00:00
|
|
|
public function rewind(): void {}
|
2020-03-29 18:24:16 +00:00
|
|
|
|
|
|
|
/**
|
2021-05-28 13:46:04 +00:00
|
|
|
* @tentative-return-type
|
2020-09-19 18:13:08 +00:00
|
|
|
* @implementation-alias readdir
|
2020-03-29 18:24:16 +00:00
|
|
|
*/
|
2021-05-28 13:46:04 +00:00
|
|
|
public function read(): string|false {}
|
2020-03-29 18:24:16 +00:00
|
|
|
}
|