Slide methods

runtimeverification · Jul 17, 2024 · 3f1bb09 · 3f1bb09
1 parent 5c4250d
commit 3f1bb09
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py
@@ -67,12 +67,6 @@ def request(self, req: str, request_id: str, method_name: str) -> str:
         _LOGGER.debug(f'Received response from {server_addr}: {resp}')
         return resp
 
-    @abstractmethod
-    def _request(self, req: str) -> str: ...
-
-    @abstractmethod
-    def _description(self) -> str: ...
-
     def __enter__(self) -> Transport:
         return self
 
@@ -82,6 +76,12 @@ def __exit__(self, *args: Any) -> None:
     @abstractmethod
     def close(self) -> None: ...
 
+    @abstractmethod
+    def _request(self, req: str) -> str: ...
+
+    @abstractmethod
+    def _description(self) -> str: ...
+
 
 class TransportType(Enum):
     SINGLE_SOCKET = auto()