From 982dafa76dfe91042a4dc88ec6891136c9b52c39 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Fri, 15 Dec 2023 17:22:10 -0800
Subject: [PATCH] Remove unused python-zephyr stubs.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 stubs/_zephyr.pyi | 65 -----------------------------------------------
 stubs/zephyr.pyi  | 13 ----------
 2 files changed, 78 deletions(-)
 delete mode 100644 stubs/_zephyr.pyi
 delete mode 100644 stubs/zephyr.pyi

diff --git a/stubs/_zephyr.pyi b/stubs/_zephyr.pyi
deleted file mode 100644
index 3c14eb39..00000000
--- a/stubs/_zephyr.pyi
+++ /dev/null
@@ -1,65 +0,0 @@
-from typing import List, Optional, Sequence, Tuple, overload
-
-from typing_extensions import Literal
-
-class ZUid:
-    address: str
-    time: float
-
-class ZNotice:
-    kind: int
-    cls: str
-    instance: str
-    uid: ZUid
-    time: int
-    port: int
-    auth: bool
-    recipient: Optional[str]
-    sender: Optional[str]
-    opcode: Optional[str]
-    format: str
-    other_fields: List[str]
-    fields: List[str]
-    _charset: Optional[str]
-    def __init__(
-        self,
-        kind: int = ...,
-        cls: str = ...,
-        instance: str = ...,
-        uid: ZUid = ...,
-        time: int = ...,
-        port: int = ...,
-        auth: bool = ...,
-        recipient: Optional[str] = ...,
-        sender: Optional[str] = ...,
-        opcode: Optional[str] = ...,
-        format: str = ...,
-        other_fields: List[str] = ...,
-        fields: List[str] = ...,
-        _charset: Optional[str] = ...,
-        message: str = ...,
-    ): ...
-    def getmessage(self) -> str: ...
-    def setmessage(self, newmsg: str) -> None: ...
-    message = property(getmessage, setmessage)
-    @property
-    def charset(self) -> Optional[str]: ...
-    def send(self) -> None: ...
-
-def initialize() -> None: ...
-def openPort() -> int: ...
-def getFD() -> int: ...
-def setFD(fd: int) -> None: ...
-def sub(cls: str, instance: str, recipient: str) -> None: ...
-def subAll(lst: Sequence[Tuple[str, str, str]]) -> None: ...
-def unsub(cls: str, instance: str, recipient: str) -> None: ...
-def cancelSubs() -> None: ...
-@overload
-def receive(block: Literal[True]) -> ZNotice: ...
-@overload
-def receive(block: bool = ...) -> Optional[ZNotice]: ...
-def sender() -> str: ...
-def realm() -> str: ...
-def dump_session() -> bytes: ...
-def load_session(session: bytes) -> None: ...
-def getSubscriptions() -> List[Tuple[str, str, str]]: ...
diff --git a/stubs/zephyr.pyi b/stubs/zephyr.pyi
deleted file mode 100644
index 22233d9c..00000000
--- a/stubs/zephyr.pyi
+++ /dev/null
@@ -1,13 +0,0 @@
-from typing import Set, Tuple
-
-import _zephyr
-from _zephyr import ZNotice as ZNotice
-from _zephyr import receive as receive
-
-_z = _zephyr
-__inited: bool
-
-def init() -> None: ...
-
-class Subscriptions(Set[Tuple[str, str, str]]):
-    pass