From de5f8819e96b9ff18efba58c8e570691f3f54426 Mon Sep 17 00:00:00 2001 From: Francesco Vigliaturo Date: Mon, 13 Nov 2023 16:34:59 +0100 Subject: [PATCH] Linting --- py/symbolic/proguard.py | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/py/symbolic/proguard.py b/py/symbolic/proguard.py index 310fefc7..0ab5d1ed 100644 --- a/py/symbolic/proguard.py +++ b/py/symbolic/proguard.py @@ -19,7 +19,12 @@ class JavaStackFrame: def __init__( - self, class_name: str, method: str, line: int, file: str | None = None, parameters: str | None = None + self, + class_name: str, + method: str, + line: int, + file: str | None = None, + parameters: str | None = None, ) -> None: self.class_name = class_name self.method = method @@ -75,7 +80,9 @@ def remap_method(self, klass: str, method: str) -> Tuple[str, str] | None: return output if len(output[0]) > 0 and len(output[1]) > 0 else None - def remap_frame(self, klass: str, method: str, line: int, parameters: str = "") -> list[JavaStackFrame]: + def remap_frame( + self, klass: str, method: str, line: int, parameters: str = "" + ) -> list[JavaStackFrame]: """Remaps the stackframe, given its class, method and line.""" result = self._methodcall( lib.symbolic_proguardmapper_remap_frame,