diff --git a/gdb-port/commands.py b/gdb-port/commands.py index d9a89d9dc7dcdf318f16ae3543909ff1dea442a2..ccb937cfafd51d8009463876f65e2846f75829a2 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)