output total number of functions

Author: Peter Schrammel

src/goto-diff/goto_diff.h

@@ -28,7 +28,8 @@ class goto_difft : public messaget
     messaget(_message_handler),
     goto_model1(_goto_model1),
     goto_model2(_goto_model2),
-     ui(ui_message_handlert::PLAIN)
+    ui(ui_message_handlert::PLAIN),
+    total_functions_count(0)
      {}
 
   virtual bool operator()()=0;
@@ -42,6 +43,7 @@ class goto_difft : public messaget
   const goto_modelt &goto_model2;
    language_uit::uit ui;
 
+  unsigned total_functions_count;
   typedef std::set<irep_idt> irep_id_sett;
   irep_id_sett new_functions, modified_functions, deleted_functions;  
 

src/goto-diff/goto_diff_base.cpp

@@ -6,6 +6,8 @@ Author: Peter Schrammel
 
 \*******************************************************************/
 
+#include <util/i2string.h>
+
 #include "goto_diff.h"
 
 /*******************************************************************\
@@ -26,6 +28,7 @@ std::ostream &goto_difft::output_functions(std::ostream &out) const
   {
     case ui_message_handlert::PLAIN:
     {
+      out << "total number of functions: " << total_functions_count << "\n";
       out << "new functions: \n";
       for(irep_id_sett::const_iterator it = new_functions.begin();
           it != new_functions.end(); ++it)
@@ -63,6 +66,8 @@ std::ostream &goto_difft::output_functions(std::ostream &out) const
     case ui_message_handlert::JSON_UI:
     {
       json_objectt json_result;
+      json_result["TotalNumberOfFunctions"] = 
+	json_stringt(i2string(total_functions_count));
       convert_function_group
         (json_result["NewFunctions"].make_array(), new_functions);
       convert_function_group(

src/goto-diff/syntactic_diff.cpp

@@ -68,6 +68,8 @@ bool syntactic_difft::operator()()
     if(!it->second.body_available())
       continue;
 
+    total_functions_count++;
+
     goto_functionst::function_mapt::const_iterator f_it =
       goto_model1.goto_functions.function_map.find(it->first);
     if(f_it==goto_model1.goto_functions.function_map.end() ||