From c860a3e744a5ccaf7e3ff28f9267d5e732ae3d01 Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Thu, 12 May 2022 19:53:41 +0200
Subject: [PATCH] ExtendedParseStepInfo also lives in command.py
---
gdb-port/commands.py | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/gdb-port/commands.py b/gdb-port/commands.py
index d9a89d9..ccb937c 100644
--- a/gdb-port/commands.py
+++ b/gdb-port/commands.py
@@ -1,5 +1,16 @@
print(": Registering basic commands")
+class ExtendedParseStepInfo(gdb.Parameter):
+ """Controls whether to display parser stack and input preview on stepping the parse."""
+ def __init__(self):
+ super(ExtendedParseStepInfo, self).__init__("hammer-extended-parse-step-info", gdb.COMMAND_OBSCURE, gdb.PARAM_BOOLEAN)
+ self.show_doc = "Show parser stack and input preview after hammer-parse-step:"
+ #self.set_doc = "Show parser stack and input preview after hammer-parse-step:"
+ self.value = True
+ print(":: hammer-extended-parse-step-info")
+
+ExtendedParseStepInfo()
+
class HammerParserBacktrace(gdb.Command):
def __init__(self):
super(HammerParserBacktrace, self).__init__ ("hammer-parser-backtrace", gdb.COMMAND_OBSCURE)
--
GitLab