Add indent argument to value_set output

Allows to customize the indentation of the output, for clearer logging
of the value set.

Author: romainbrenguier

src/pointer-analysis/value_set.cpp

@@ -131,7 +131,10 @@ bool value_sett::insert(
   return true;
 }
 
-void value_sett::output(const namespacet &ns, std::ostream &out) const
+void value_sett::output(
+  const namespacet &ns,
+  std::ostream &out,
+  const std::string &indent) const
 {
   values.iterate([&](const irep_idt &, const entryt &e) {
     irep_idt identifier, display_name;
@@ -158,9 +161,7 @@ void value_sett::output(const namespacet &ns, std::ostream &out) const
 #endif
     }
 
-    out << display_name;
-
-    out << " = { ";
+    out << indent << display_name << " = { ";
 
     const object_map_dt &object_map = e.object_map.read();
 
@@ -204,7 +205,7 @@ void value_sett::output(const namespacet &ns, std::ostream &out) const
       {
         out << ", ";
         if(width >= 40)
-          out << "\n      ";
+          out << "\n" << std::string(' ', indent.size()) << "      ";
       }
     }
 

src/pointer-analysis/value_set.h

@@ -305,9 +305,11 @@ class value_sett
   /// Pretty-print this value-set
   /// \param ns: global namespace
   /// \param [out] out: stream to write to
+  /// \param indent: string to use for indentation of the output
   void output(
     const namespacet &ns,
-    std::ostream &out) const;
+    std::ostream &out,
+    const std::string &indent = "") const;
 
   /// Stores the LHS ID -> RHS expression set map. See `valuest` documentation
   /// for more detail.