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
|
<?php
/** @generate-class-entries */
interface Traversable {}
interface IteratorAggregate extends Traversable
{
/** @tentative-return-type */
public function getIterator(): Traversable;
}
interface Iterator extends Traversable
{
/** @tentative-return-type */
public function current(): mixed;
/** @tentative-return-type */
public function next(): void;
/** @tentative-return-type */
public function key(): mixed;
/** @tentative-return-type */
public function valid(): bool;
/** @tentative-return-type */
public function rewind(): void;
}
interface ArrayAccess
{
/** @tentative-return-type */
public function offsetExists(mixed $offset): bool;
/**
* Actually this should be return by ref but atm cannot be.
* @tentative-return-type
*/
public function offsetGet(mixed $offset): mixed;
/** @tentative-return-type */
public function offsetSet(mixed $offset, mixed $value): void;
/** @tentative-return-type */
public function offsetUnset(mixed $offset): void;
}
interface Serializable
{
/** @return string|null */
public function serialize();
/** @return void */
public function unserialize(string $data);
}
interface Countable
{
/** @tentative-return-type */
public function count(): int;
}
interface Stringable
{
public function __toString(): string;
}
/**
* @not-serializable
*/
final class InternalIterator implements Iterator
{
private function __construct() {}
public function current(): mixed {}
public function key(): mixed {}
public function next(): void {}
public function valid(): bool {}
public function rewind(): void {}
}
|
