File Core/Dispatch/MessageDispatcherInterface.php

1:	<?php
2:
3:	declare(strict_types=1);
4:
5:	/**
6:	* This file is part of the Nexus MCP SDK package.
7:	*
8:	* (c) 2026 John Paul E. Balandan, CPA <paulbalandan@gmail.com>
9:	*
10:	* For the full copyright and license information, please view
11:	* the LICENSE file that was distributed with this source code.
12:	*/
13:
14:	namespace Nexus\Mcp\Core\Dispatch;
15:
16:	use Nexus\Mcp\Core\Schema\RequestId;
17:	use Nexus\Mcp\Core\Transport\ReceiveContext;
18:	use Nexus\Mcp\Core\Transport\TransportInterface;
19:
20:	/**
21:	* Per-envelope inbound dispatch contract shared by the Server and Client runtimes.
22:	*/
23:	interface MessageDispatcherInterface
24:	{
25:	/**
26:	* @param array<string, mixed> $envelope
27:	*/
28:	public function dispatch(array $envelope, TransportInterface $transport, ReceiveContext $context): void;
29:
30:	/**
31:	* Awaits every in-flight dispatch coroutine spawned by `dispatch()`.
32:	*/
33:	public function flushPending(): void;
34:
35:	/**
36:	* Cancels the in-flight request `$id` names, if one is still running under it.
37:	*/
38:	public function cancelRequest(RequestId $id): void;
39:	}
40: