| from typing import Any, Dict, NoReturn, Pattern, Tuple, Type, TypeVar, Union |
|
|
| __all__ = [ |
| "ProtocolError", |
| "LocalProtocolError", |
| "RemoteProtocolError", |
| "validate", |
| "bytesify", |
| ] |
|
|
|
|
| class ProtocolError(Exception): |
| """Exception indicating a violation of the HTTP/1.1 protocol. |
| |
| This as an abstract base class, with two concrete base classes: |
| :exc:`LocalProtocolError`, which indicates that you tried to do something |
| that HTTP/1.1 says is illegal, and :exc:`RemoteProtocolError`, which |
| indicates that the remote peer tried to do something that HTTP/1.1 says is |
| illegal. See :ref:`error-handling` for details. |
| |
| In addition to the normal :exc:`Exception` features, it has one attribute: |
| |
| .. attribute:: error_status_hint |
| |
| This gives a suggestion as to what status code a server might use if |
| this error occurred as part of a request. |
| |
| For a :exc:`RemoteProtocolError`, this is useful as a suggestion for |
| how you might want to respond to a misbehaving peer, if you're |
| implementing a server. |
| |
| For a :exc:`LocalProtocolError`, this can be taken as a suggestion for |
| how your peer might have responded to *you* if h11 had allowed you to |
| continue. |
| |
| The default is 400 Bad Request, a generic catch-all for protocol |
| violations. |
| |
| """ |
|
|
| def __init__(self, msg: str, error_status_hint: int = 400) -> None: |
| if type(self) is ProtocolError: |
| raise TypeError("tried to directly instantiate ProtocolError") |
| Exception.__init__(self, msg) |
| self.error_status_hint = error_status_hint |
|
|
|
|
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| class LocalProtocolError(ProtocolError): |
| def _reraise_as_remote_protocol_error(self) -> NoReturn: |
| |
| |
| |
| |
| |
| |
| self.__class__ = RemoteProtocolError |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| raise self |
|
|
|
|
| class RemoteProtocolError(ProtocolError): |
| pass |
|
|
|
|
| def validate( |
| regex: Pattern[bytes], data: bytes, msg: str = "malformed data", *format_args: Any |
| ) -> Dict[str, bytes]: |
| match = regex.fullmatch(data) |
| if not match: |
| if format_args: |
| msg = msg.format(*format_args) |
| raise LocalProtocolError(msg) |
| return match.groupdict() |
|
|
|
|
| |
| |
| |
| |
| |
| |
| |
| |
|
|
| _T_Sentinel = TypeVar("_T_Sentinel", bound="Sentinel") |
|
|
|
|
| class Sentinel(type): |
| def __new__( |
| cls: Type[_T_Sentinel], |
| name: str, |
| bases: Tuple[type, ...], |
| namespace: Dict[str, Any], |
| **kwds: Any |
| ) -> _T_Sentinel: |
| assert bases == (Sentinel,) |
| v = super().__new__(cls, name, bases, namespace, **kwds) |
| v.__class__ = v |
| return v |
|
|
| def __repr__(self) -> str: |
| return self.__name__ |
|
|
|
|
| |
| |
| |
| def bytesify(s: Union[bytes, bytearray, memoryview, int, str]) -> bytes: |
| |
| if type(s) is bytes: |
| return s |
| if isinstance(s, str): |
| s = s.encode("ascii") |
| if isinstance(s, int): |
| raise TypeError("expected bytes-like object, not int") |
| return bytes(s) |
|
|