Ë
    ïñþiû  ã                   ó>   — d Z ddlmZmZ ddlmZmZ  G d„ de«      Zy)a:  
ResponseRouter - Protocol for pluggable response routing.

This module defines a protocol for routing JSON-RPC responses to alternative
handlers before falling back to the default response stream mechanism.

The primary use case is task-augmented requests: when a TaskSession enqueues
a request (like elicitation), the response needs to be routed back to the
waiting resolver instead of the normal response stream.

Design:
- Protocol-based for testability and flexibility
- Returns bool to indicate if response was handled
- Supports both success responses and errors
é    )ÚAnyÚProtocol)Ú	ErrorDataÚ	RequestIdc                   óB   — e Zd ZdZdedeeef   defd„Z	dede
defd„Zy)	ÚResponseRoutera  
    Protocol for routing responses to alternative handlers.

    Implementations check if they have a pending request for the given ID
    and deliver the response/error to the appropriate handler.

    Example:
        class TaskResultHandler(ResponseRouter):
            def route_response(self, request_id, response):
                resolver = self._pending_requests.pop(request_id, None)
                if resolver:
                    resolver.set_result(response)
                    return True
                return False
    Ú
request_idÚresponseÚreturnc                  ó   — y)a  
        Try to route a response to a pending request handler.

        Args:
            request_id: The JSON-RPC request ID from the response
            response: The response result data

        Returns:
            True if the response was handled, False otherwise
        N© )Úselfr	   r
   s      úZ/root/aria/mcps/aria-brain/venv/lib/python3.12/site-packages/mcp/shared/response_router.pyÚroute_responsezResponseRouter.route_response'   ó   € ð 	ó    Úerrorc                  ó   — y)a  
        Try to route an error to a pending request handler.

        Args:
            request_id: The JSON-RPC request ID from the error response
            error: The error data

        Returns:
            True if the error was handled, False otherwise
        Nr   )r   r	   r   s      r   Úroute_errorzResponseRouter.route_error4   r   r   N)Ú__name__Ú
__module__Ú__qualname__Ú__doc__r   ÚdictÚstrr   Úboolr   r   r   r   r   r   r   r      sD   „ ñð ¨ð ¸dÀ3ÈÀ8¹nð ÐQUó ð ið ¸	ð Àdô r   r   N)r   Útypingr   r   Ú	mcp.typesr   r   r   r   r   r   ú<module>r      s   ðñ÷  !ç *ô)�Xõ )r   