2019-08-02 22:09:38 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp;
|
|
|
|
|
2021-10-15 00:50:40 +02:00
|
|
|
use Revolt\EventLoop;
|
2021-03-26 22:34:32 +01:00
|
|
|
|
2019-08-02 22:09:38 +02:00
|
|
|
final class CombinedCancellationToken implements CancellationToken
|
|
|
|
{
|
2021-09-04 01:15:31 +02:00
|
|
|
/** @var array<int, array{CancellationToken, string}> */
|
2020-10-02 20:55:46 +02:00
|
|
|
private array $tokens = [];
|
2019-08-02 22:09:38 +02:00
|
|
|
|
2020-10-02 20:55:46 +02:00
|
|
|
private string $nextId = "a";
|
2020-03-28 12:23:46 +01:00
|
|
|
|
2021-09-04 01:15:31 +02:00
|
|
|
/** @var callable(CancelledException)[] */
|
2020-10-02 20:55:46 +02:00
|
|
|
private array $callbacks = [];
|
2020-03-28 12:23:46 +01:00
|
|
|
|
2021-09-04 01:15:31 +02:00
|
|
|
private ?CancelledException $exception = null;
|
2019-08-02 22:09:38 +02:00
|
|
|
|
|
|
|
public function __construct(CancellationToken ...$tokens)
|
|
|
|
{
|
|
|
|
foreach ($tokens as $token) {
|
2020-10-23 06:03:58 +02:00
|
|
|
$id = $token->subscribe(function (CancelledException $exception): void {
|
2019-08-02 22:09:38 +02:00
|
|
|
$this->exception = $exception;
|
|
|
|
|
|
|
|
$callbacks = $this->callbacks;
|
|
|
|
$this->callbacks = [];
|
|
|
|
|
|
|
|
foreach ($callbacks as $callback) {
|
2021-10-15 00:50:40 +02:00
|
|
|
EventLoop::queue($callback, $exception);
|
2019-08-02 22:09:38 +02:00
|
|
|
}
|
|
|
|
});
|
|
|
|
|
|
|
|
$this->tokens[] = [$token, $id];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
public function __destruct()
|
|
|
|
{
|
2020-10-25 21:44:01 +01:00
|
|
|
foreach ($this->tokens as [$token, $id]) {
|
2019-08-02 22:09:38 +02:00
|
|
|
/** @var CancellationToken $token */
|
|
|
|
$token->unsubscribe($id);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-12-02 18:40:51 +01:00
|
|
|
public function subscribe(\Closure $callback): string
|
2019-08-02 22:09:38 +02:00
|
|
|
{
|
|
|
|
$id = $this->nextId++;
|
|
|
|
|
2021-09-04 01:15:31 +02:00
|
|
|
if ($this->exception) {
|
2021-10-15 00:50:40 +02:00
|
|
|
EventLoop::queue($callback, $this->exception);
|
2019-08-02 22:09:38 +02:00
|
|
|
} else {
|
|
|
|
$this->callbacks[$id] = $callback;
|
|
|
|
}
|
|
|
|
|
|
|
|
return $id;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** @inheritdoc */
|
2020-09-25 05:17:13 +02:00
|
|
|
public function unsubscribe(string $id): void
|
2019-08-02 22:09:38 +02:00
|
|
|
{
|
|
|
|
unset($this->callbacks[$id]);
|
|
|
|
}
|
|
|
|
|
|
|
|
/** @inheritdoc */
|
|
|
|
public function isRequested(): bool
|
|
|
|
{
|
2020-10-25 21:44:01 +01:00
|
|
|
foreach ($this->tokens as [$token]) {
|
2019-08-02 22:09:38 +02:00
|
|
|
if ($token->isRequested()) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** @inheritdoc */
|
2020-09-25 05:17:13 +02:00
|
|
|
public function throwIfRequested(): void
|
2019-08-02 22:09:38 +02:00
|
|
|
{
|
2020-10-25 21:44:01 +01:00
|
|
|
foreach ($this->tokens as [$token]) {
|
2019-08-02 22:09:38 +02:00
|
|
|
$token->throwIfRequested();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|