mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 22:13:26 +00:00
ff5013c619
In order to benefit from the modern conveniences of type-checking, add concrete, non-Any types to the interface for JsonableError. Relatedly, there's no need at this point to duck-type things at the places where we receive a JsonableError and try to use it. Simplify those by using straightforward standard typing.
19 lines
641 B
Python
19 lines
641 B
Python
# This mypy stubs file ensures that mypy can correctly analyze REQ.
|
|
from typing import Any, Callable, Text, TypeVar
|
|
from django.http import HttpResponse
|
|
|
|
ViewFuncT = TypeVar('ViewFuncT', bound=Callable[..., HttpResponse])
|
|
|
|
class JsonableError(Exception):
|
|
error = ... # type: Text
|
|
status_code = ... # type: int
|
|
def __init__(self, error: Text) -> None: ...
|
|
def to_json_error_msg(self) -> Text: ...
|
|
|
|
class RequestVariableMissingError(JsonableError): ...
|
|
class RequestVariableConversionError(JsonableError): ...
|
|
|
|
def REQ(*args: Any, **kwargs: Any) -> Any: ...
|
|
|
|
def has_request_variables(view_func: ViewFuncT) -> ViewFuncT: ...
|