remove goto_modelt::output and goto_functionst::output

Use show_goto_functions() instead

Author: Daniel Kroening

src/goto-programs/goto_functions.cpp

@@ -13,25 +13,6 @@ Date: June 2003
 
 #include "goto_functions.h"
 
-void goto_functionst::output(
-  const namespacet &ns,
-  std::ostream &out) const
-{
-  for(const auto &fun : function_map)
-  {
-    if(fun.second.body_available())
-    {
-      out << "^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n\n";
-
-      const symbolt &symbol=ns.lookup(fun.first);
-      out << symbol.display_name() << " /* " << symbol.name << " */\n";
-      fun.second.body.output(ns, symbol.name, out);
-
-      out << std::flush;
-    }
-  }
-}
-
 void goto_functionst::compute_location_numbers()
 {
   unused_location_number = 0;

src/goto-programs/goto_functions.h

@@ -72,10 +72,6 @@ class goto_functionst
     function_map.clear();
   }
 
-  void output(
-    const namespacet &ns,
-    std::ostream &out) const;
-
   void compute_location_numbers();
   void compute_location_numbers(goto_programt &);
   void compute_loop_numbers();

src/goto-programs/goto_model.h

@@ -37,12 +37,6 @@ class goto_modelt : public abstract_goto_modelt
     goto_functions.clear();
   }
 
-  void output(std::ostream &out) const
-  {
-    namespacet ns(symbol_table);
-    goto_functions.output(ns, out);
-  }
-
   goto_modelt()
   {
   }