OXIESEC PANEL

Name	Size	Modified	Perms
📁 ..	-	06/12/2025 06:19:49 PM	rwxr-xr-x
📄 __init__.py	657 bytes	02/04/2025 02:48:35 PM	rw-r--r--
📄 handlers.py	21.16 KB	02/04/2025 02:48:35 PM	rw-r--r--
📄 headers.py	6.61 KB	02/04/2025 02:48:35 PM	rw-r--r--
📄 simple_server.py	5.05 KB	02/04/2025 02:48:35 PM	rw-r--r--
📄 types.py	1.68 KB	02/04/2025 02:48:35 PM	rw-r--r--
📄 util.py	5.34 KB	02/04/2025 02:48:35 PM	rw-r--r--
📄 validate.py	14.68 KB	02/04/2025 02:48:35 PM	rw-r--r--

Editing: types.py

"""WSGI-related types for static type checking"""

from collections.abc import Callable, Iterable, Iterator
from types import TracebackType
from typing import Any, Protocol, TypeAlias

__all__ = [
    "StartResponse",
    "WSGIEnvironment",
    "WSGIApplication",
    "InputStream",
    "ErrorStream",
    "FileWrapper",
]

_ExcInfo: TypeAlias = tuple[type[BaseException], BaseException, TracebackType]
_OptExcInfo: TypeAlias = _ExcInfo | tuple[None, None, None]

class StartResponse(Protocol):
    """start_response() callable as defined in PEP 3333"""
    def __call__(
        self,
        status: str,
        headers: list[tuple[str, str]],
        exc_info: _OptExcInfo | None = ...,
        /,
    ) -> Callable[[bytes], object]: ...

WSGIEnvironment: TypeAlias = dict[str, Any]
WSGIApplication: TypeAlias = Callable[[WSGIEnvironment, StartResponse],
    Iterable[bytes]]

class InputStream(Protocol):
    """WSGI input stream as defined in PEP 3333"""
    def read(self, size: int = ..., /) -> bytes: ...
    def readline(self, size: int = ..., /) -> bytes: ...
    def readlines(self, hint: int = ..., /) -> list[bytes]: ...
    def __iter__(self) -> Iterator[bytes]: ...

class ErrorStream(Protocol):
    """WSGI error stream as defined in PEP 3333"""
    def flush(self) -> object: ...
    def write(self, s: str, /) -> object: ...
    def writelines(self, seq: list[str], /) -> object: ...

class _Readable(Protocol):
    def read(self, size: int = ..., /) -> bytes: ...
    # Optional: def close(self) -> object: ...

class FileWrapper(Protocol):
    """WSGI file wrapper as defined in PEP 3333"""
    def __call__(
        self, file: _Readable, block_size: int = ..., /,
    ) -> Iterable[bytes]: ...