Move load function to main file and rename it

Author: NathanJPhillips

scripts/pretty-printers/gdb/auto_load.py

@@ -12,8 +12,8 @@
 pretty_printer_folder = '{0}'
 if os.path.exists(pretty_printer_folder):
     sys.path.insert(1, pretty_printer_folder)
-    import auto_load
-    auto_load.load_pretty_printers()
+    from pretty_printers import load_cbmc_printers
+    load_cbmc_printers()
 end
 """
 

scripts/pretty-printers/gdb/install.py

@@ -46,3 +46,16 @@ def to_string(self):
 
     def display_hint(self):
         return 'string'
+
+
+# If you change the name of this make sure to change install.py too.
+def load_cbmc_printers():
+    printers = gdb.printing.RegexpCollectionPrettyPrinter("CBMC")
+
+    # First argument is the name of the pretty-printer, second is a regex match for which type
+    # it should be applied too, third is the class that should be called to pretty-print that type.
+    printers.add_printer('irep_idt', '^irep_idt', DStringPrettyPrinter)
+    printers.add_printer('dstringt', '^dstringt', DStringPrettyPrinter)
+    printers.add_printer('instructiont', '^goto_programt::instructiont', InstructionPrettyPrinter)
+    # We aren't associating with a particular object file, so pass in None instead of gdb.current_objfile()
+    gdb.printing.register_pretty_printer(None, printers, replace=True)