diff options
author | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-12-07 23:46:31 -0700 |
---|---|---|
committer | Luke T. Shumaker <lukeshu@lukeshu.com> | 2024-12-08 08:27:23 -0700 |
commit | 056082dc81641875626d5f9c0ff23a3b9d66deff (patch) | |
tree | c3cac6d7b5b87de1cd448177dad54b4d09e5a1c0 /gdb-helpers/libcr.py | |
parent | c4106766ecc2ebcca66d3d5b8408768b36a31122 (diff) |
gdb-helpers/libcr.py: s/GdbJmpBuf/gdb_JmpBuf/g
Diffstat (limited to 'gdb-helpers/libcr.py')
-rw-r--r-- | gdb-helpers/libcr.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gdb-helpers/libcr.py b/gdb-helpers/libcr.py index c8addc6..385b61a 100644 --- a/gdb-helpers/libcr.py +++ b/gdb-helpers/libcr.py @@ -17,16 +17,16 @@ def gdb_argv_to_string(argv: list[str]) -> str: return " ".join(argv) -class GdbJmpBuf: +class gdb_JmpBuf: """Our own in-Python GDB-specific implementation of `jmp_buf`""" frame: gdb.Frame registers: dict[str, str] -def gdb_setjmp() -> GdbJmpBuf: +def gdb_setjmp() -> gdb_JmpBuf: """Our own in-Python GDB-specific implementation of `setjmp()`""" - buf = GdbJmpBuf() + buf = gdb_JmpBuf() buf.frame = gdb.selected_frame() buf.registers = {} for line in gdb.execute("info registers", to_string=True).split("\n"): @@ -37,7 +37,7 @@ def gdb_setjmp() -> GdbJmpBuf: return buf -def gdb_longjmp(buf: GdbJmpBuf) -> None: +def gdb_longjmp(buf: gdb_JmpBuf) -> None: """Our own in-Python GDB-specific implementation of `longjmp()`""" if ( ("sp" in buf.registers) @@ -92,7 +92,7 @@ class CrGlobals: class CrCoroutine: cr_globals: CrGlobals cid: int - env: GdbJmpBuf | None + env: gdb_JmpBuf | None def __init__(self, cr_globals: CrGlobals, cid: int) -> None: self.cr_globals = cr_globals |