1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
<?php
/** @generate-class-entries */
/**
* @var string
* @cvalue dirsep_str
*/
const DIRECTORY_SEPARATOR = UNKNOWN;
/**
* @var string
* @cvalue pathsep_str
*/
const PATH_SEPARATOR = UNKNOWN;
#ifdef HAVE_GLOB
#if (defined(GLOB_BRACE) && GLOB_BRACE != 0)
/**
* @var int
* @cvalue GLOB_BRACE
*/
const GLOB_BRACE = UNKNOWN;
#endif
#if (defined(GLOB_ERR) && GLOB_ERR != 0)
/**
* @var int
* @cvalue GLOB_ERR
*/
const GLOB_ERR = UNKNOWN;
#endif
#if (defined(GLOB_MARK) && GLOB_MARK != 0)
/**
* @var int
* @cvalue GLOB_MARK
*/
const GLOB_MARK = UNKNOWN;
#endif
#if (defined(GLOB_NOCHECK) && GLOB_NOCHECK != 0)
/**
* @var int
* @cvalue GLOB_NOCHECK
*/
const GLOB_NOCHECK = UNKNOWN;
#endif
#if (defined(GLOB_NOESCAPE) && GLOB_NOESCAPE != 0)
/**
* @var int
* @cvalue GLOB_NOESCAPE
*/
const GLOB_NOESCAPE = UNKNOWN;
#endif
#if (defined(GLOB_NOSORT) && GLOB_NOSORT != 0)
/**
* @var int
* @cvalue GLOB_NOSORT
*/
const GLOB_NOSORT = UNKNOWN;
#endif
#ifdef GLOB_ONLYDIR
/**
* @var int
* @cvalue GLOB_ONLYDIR
*/
const GLOB_ONLYDIR = UNKNOWN;
#endif
#ifdef GLOB_AVAILABLE_FLAGS
/**
* @var int
* @cvalue GLOB_AVAILABLE_FLAGS
*/
const GLOB_AVAILABLE_FLAGS = UNKNOWN;
#endif
#endif
/**
* @var int
* @cvalue PHP_SCANDIR_SORT_ASCENDING
*/
const SCANDIR_SORT_ASCENDING = UNKNOWN;
/**
* @var int
* @cvalue PHP_SCANDIR_SORT_DESCENDING
*/
const SCANDIR_SORT_DESCENDING = UNKNOWN;
/**
* @var int
* @cvalue PHP_SCANDIR_SORT_NONE
*/
const SCANDIR_SORT_NONE = UNKNOWN;
class Directory
{
public readonly string $path;
/** @var resource */
public readonly mixed $handle;
/**
* @tentative-return-type
* @implementation-alias closedir
*/
public function close(): void {}
/**
* @tentative-return-type
* @implementation-alias rewinddir
*/
public function rewind(): void {}
/**
* @tentative-return-type
* @implementation-alias readdir
*/
public function read(): string|false {}
}
|
