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