2019-10-15 20:30:23 +08:00
|
|
|
<?php
|
|
|
|
|
2021-02-09 20:34:25 +08:00
|
|
|
/** @generate-class-entries */
|
2020-04-26 05:10:07 +08:00
|
|
|
|
2021-07-16 18:46:43 +08:00
|
|
|
/**
|
|
|
|
* @strict-properties
|
|
|
|
* @not-serializable
|
|
|
|
*/
|
2019-10-15 20:30:23 +08:00
|
|
|
final class Generator implements Iterator
|
|
|
|
{
|
2020-04-11 16:23:51 +08:00
|
|
|
public function rewind(): void {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-04-11 16:23:51 +08:00
|
|
|
public function valid(): bool {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-05-25 23:30:49 +08:00
|
|
|
public function current(): mixed {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-05-25 23:30:49 +08:00
|
|
|
public function key(): mixed {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-04-11 16:23:51 +08:00
|
|
|
public function next(): void {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-05-25 23:30:49 +08:00
|
|
|
public function send(mixed $value): mixed {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-05-25 23:30:49 +08:00
|
|
|
public function throw(Throwable $exception): mixed {}
|
2019-10-15 20:30:23 +08:00
|
|
|
|
2020-05-25 23:30:49 +08:00
|
|
|
public function getReturn(): mixed {}
|
2019-10-15 20:30:23 +08:00
|
|
|
}
|
2021-01-26 18:50:36 +08:00
|
|
|
|
|
|
|
class ClosedGeneratorException extends Exception
|
|
|
|
{
|
|
|
|
}
|