A couple of basic GDB pretty-printers.

1 files changed, 40 insertions, 0 deletions

diff --git a/crawl-ref/source/crawl-gdb.py b/crawl-ref/source/crawl-gdb.py
new file mode 100644
index 0000000000..84f5bfbe60
--- /dev/null
+++ b/crawl-ref/source/crawl-gdb.py
@@ -0,0 +1,40 @@
+# GDB autoload file
+
+import gdb.printing
+
+
+class coord_def_printer:
+    def __init__(self, val):
+        self.val = val
+
+    def to_string(self):
+        return "({0[x]}, {0[y]})".format(self.val)
+
+
+class actor_printer:
+    """Print an actor object."""
+
+    def __init__(self, val):
+        self.val = val
+
+    def to_string(self):
+        return "{} #{:#x} at {}".format(
+            self.val["type"], int(self.val["mid"]), self.val["position"])
+
+class FixedVector_printer:
+    def __init__(self, val):
+        self.val = val
+
+    def to_string(self):
+        return self.val['mData']
+
+def build_pretty_printer():
+    pp = gdb.printing.RegexpCollectionPrettyPrinter("crawl")
+    pp.add_printer('coord_def', '^coord_def$', coord_def_printer)
+#   pp.add_printer('actor', '^actor$', actor_printer)
+    pp.add_printer('FixedVector', '^FixedVector<.*>$', FixedVector_printer)
+    return pp
+
+gdb.printing.register_pretty_printer(
+    gdb.current_objfile(),
+    build_pretty_printer())