Make quotation marks consistent

Author: NathanJPhillips

scripts/pretty-printers/gdb/pretty_printers.py

@@ -21,20 +21,20 @@ def to_string(self):
 
             # Split the address on the first space, return that value
             # Addresses are usually {address} {optional type_name}
-            typed_pointer = '({}*){}'.format(self.val.type, raw_address.split(None, 1)[0])
+            typed_pointer = "({}*){}".format(self.val.type, raw_address.split(None, 1)[0])
 
             # Check that the pointer is not null.
-            if gdb.parse_and_eval(typed_pointer + ' == 0'):
+            if gdb.parse_and_eval(typed_pointer + " == 0"):
                 return ""
 
             # If it isn't attempt to find the string.
-            value = '(*{})'.format(typed_pointer)
-            return gdb.parse_and_eval(value + '.c_str()')
+            value = "(*{})".format(typed_pointer)
+            return gdb.parse_and_eval(value + ".c_str()")
         except:
             return ""
 
     def display_hint(self):
-        return 'string'
+        return "string"
 
 
 class InstructionPrettyPrinter:
@@ -44,14 +44,14 @@ def __init__(self, val):
     def to_string(self):
         try:
             raw_address = str(self.val.address)
-            variable_accessor = '(*({}*){})'.format(self.val.type, raw_address.split(None, 1)[0])
-            expr = '{0}.to_string()'.format(variable_accessor)
+            variable_accessor = "(*({}*){})".format(self.val.type, raw_address.split(None, 1)[0])
+            expr = "{0}.to_string()".format(variable_accessor)
             return gdb.parse_and_eval(expr)
         except:
             return ""
 
     def display_hint(self):
-        return 'string'
+        return "string"
 
 
 # If you change the name of this make sure to change install.py too.
@@ -60,7 +60,7 @@ def load_cbmc_printers():
 
     # 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('dstringt', '^(?:dstringt|irep_idt)', DStringPrettyPrinter)
-    printers.add_printer('instructiont', '^goto_programt::instructiont', InstructionPrettyPrinter)
+    printers.add_printer("dstringt", "^(?:dstringt|irep_idt)", 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)