| 1: | <?php |
| 2: | |
| 3: | declare(strict_types=1); |
| 4: | |
| 5: | |
| 6: | |
| 7: | |
| 8: | |
| 9: | |
| 10: | |
| 11: | |
| 12: | |
| 13: | |
| 14: | namespace Nexus\Mcp\Server\Subscription; |
| 15: | |
| 16: | use Amp\DeferredFuture; |
| 17: | use Nexus\Mcp\Core\Handler\SenderInterface; |
| 18: | use Nexus\Mcp\Core\Schema\RequestId; |
| 19: | use Nexus\Mcp\Core\Schema\SubscriptionFilter; |
| 20: | |
| 21: | |
| 22: | |
| 23: | |
| 24: | |
| 25: | final readonly class SubscriptionEntry |
| 26: | { |
| 27: | |
| 28: | |
| 29: | |
| 30: | public function __construct( |
| 31: | public RequestId $subscriptionId, |
| 32: | public SubscriptionFilter $honoured, |
| 33: | public SenderInterface $sender, |
| 34: | public DeferredFuture $closed, |
| 35: | ) { |
| 36: | } |
| 37: | } |
| 38: | |