Make format_number_range function instead of class

Author: romainbrenguier

src/goto-instrument/cover_basic_blocks.cpp

@@ -223,7 +223,6 @@ void cover_basic_blockst::update_covered_lines(block_infot &block_info)
   INVARIANT(!cover_set.empty(), "covered lines set must not be empty");
   std::vector<unsigned> line_list(cover_set.begin(), cover_set.end());
 
-  format_number_ranget format_lines;
-  std::string covered_lines = format_lines(line_list);
+  std::string covered_lines = format_number_range(line_list);
   block_info.source_location.set_basic_block_covered_lines(covered_lines);
 }

src/util/format_number_range.cpp

@@ -16,9 +16,9 @@ Author: Daniel Kroening, [email protected]
 #include "format_number_range.h"
 
 /// create shorter representation for output
-/// \par parameters: vector of numbers
+/// \param parameters: vector of numbers
 /// \return string of compressed number range representation
-std::string format_number_ranget::operator()(std::vector<unsigned> &numbers)
+std::string format_number_range(std::vector<unsigned> &numbers)
 {
   std::string number_range;
   std::sort(numbers.begin(), numbers.end());

src/util/format_number_range.h

@@ -15,10 +15,6 @@ Author: Daniel Kroening, [email protected]
 #include <string>
 #include <vector>
 
-class format_number_ranget
-{
-public:
-  std::string operator()(std::vector<unsigned> &);
-};
+std::string format_number_range(std::vector<unsigned> &);
 
 #endif // CPROVER_UTIL_FORMAT_NUMBER_RANGE_H