2019-08-02 22:09:38 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Amp;
|
|
|
|
|
|
|
|
final class CombinedCancellationToken implements CancellationToken
|
|
|
|
{
|
2020-03-28 12:23:46 +01:00
|
|
|
/** @var array{0: CancellationToken, 1: 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
|
|
|
|
|
|
|
/** @var callable[] */
|
2020-10-02 20:55:46 +02:00
|
|
|
private array $callbacks = [];
|
2020-03-28 12:23:46 +01:00
|
|
|
|
2020-10-23 06:03:58 +02:00
|
|
|
private CancelledException $exception;
|
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) {
|
2020-11-01 18:14:03 +01:00
|
|
|
defer($callback, $this->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);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/** @inheritdoc */
|
|
|
|
public function subscribe(callable $callback): string
|
|
|
|
{
|
|
|
|
$id = $this->nextId++;
|
|
|
|
|
2020-10-23 06:03:58 +02:00
|
|
|
if (isset($this->exception)) {
|
2020-11-01 18:14:03 +01:00
|
|
|
defer($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();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|