new goto_convert API

Author: Daniel Kroening

src/goto-programs/goto_convert_functions.cpp

@@ -230,6 +230,16 @@ void goto_convert(
   goto_model.symbol_table.swap(symbol_table);
 }
 
+void goto_convert(
+  goto_modelt &goto_model,
+  message_handlert &message_handler)
+{
+  goto_convert(
+    goto_model.symbol_table,
+    goto_model.goto_functions,
+    message_handler);
+}
+
 void goto_convert(
   symbol_tablet &symbol_table,
   goto_functionst &functions,

src/goto-programs/goto_convert_functions.h

@@ -21,20 +21,25 @@ Date: June 2003
 void goto_convert(
   symbol_tablet &symbol_table,
   goto_functionst &functions,
-  message_handlert &message_handler);
+  message_handlert &);
 
-// convert it all!
+// confusing, will go away
 void goto_convert(
   symbol_tablet &symbol_table,
   goto_modelt &dest,
-  message_handlert &message_handler);
+  message_handlert &);
+
+// convert it all!
+void goto_convert(
+  goto_modelt &,
+  message_handlert &);
 
 // just convert a specific function
 void goto_convert(
   const irep_idt &identifier,
   symbol_tablet &symbol_table,
   goto_functionst &functions,
-  message_handlert &message_handler);
+  message_handlert &);
 
 class goto_convert_functionst:public goto_convertt
 {
@@ -52,7 +57,7 @@ class goto_convert_functionst:public goto_convertt
 protected:
   goto_functionst &functions;
 
-  static bool hide(const goto_programt &goto_program);
+  static bool hide(const goto_programt &);
 
   //
   // function calls