From 046409d912ad92f0caa54a44edc6bc7995a8ae6d Mon Sep 17 00:00:00 2001
From: pompolic <pompolic@special-circumstanc.es>
Date: Mon, 16 Aug 2021 21:09:31 +0200
Subject: [PATCH] Quick hack to show the type of parser env

---
 gdb-port/parser-name-instrumentation-gdb.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdb-port/parser-name-instrumentation-gdb.py b/gdb-port/parser-name-instrumentation-gdb.py
index bf886b2..ea3dbfd 100644
--- a/gdb-port/parser-name-instrumentation-gdb.py
+++ b/gdb-port/parser-name-instrumentation-gdb.py
@@ -168,7 +168,7 @@ class TopLevelParse:
 		parser_stack.push(parser_obj)
 		if self.parser_decombinator:
 			p_env = self.parser_decombinator.decompose_parser(parser_obj, self)
-			self.set_parser_env(str(p_env))
+			self.set_parser_env(type(p_env).__name__ + " - " + str(p_env)) # TODO: indicate parser vtable type
 		return parser_obj
 
 	def return_from_perform_lowlevel_parse(self):
-- 
GitLab