From bd43aaa2c70cb804e7bca5e07014d9ca5ed32182 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 7 Jan 2022 14:37:52 -0700 Subject: [PATCH] Do not output the partitioner when pretty-printing Vector objects. --- contrib/utilities/dotgdbinit.py | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/contrib/utilities/dotgdbinit.py b/contrib/utilities/dotgdbinit.py index 9dba301384..4bcecd1247 100644 --- a/contrib/utilities/dotgdbinit.py +++ b/contrib/utilities/dotgdbinit.py @@ -130,14 +130,10 @@ class VectorPrinter(object): self.begin = gdb.parse_and_eval(eval_string); self.length = int(self.end - self.begin ) - def children(self): - return (("values", self.val['values']), - ("thread_loop_partitioner", - self.val['thread_loop_partitioner'])) - def to_string(self): - return "Vector<{}>({})".format(self.val.type.template_argument(0), - self.length) + return ("Vector<{}>({})".format(self.val.type.template_argument(0), + self.length) + + build_output_string(['values'], self.val)) class QuadraturePrinter(object): -- 2.39.5