Functions for outputting options

This can be used to output the options set at the beginning
of an analysis in order to understand the settings.

Author: peterschrammel

src/util/options.cpp

@@ -11,6 +11,7 @@ Author: Daniel Kroening, [email protected]
 
 #include "options.h"
 
+#include "json.h"
 #include "string2int.h"
 
 void optionst::set_option(const std::string &option,
@@ -86,3 +87,35 @@ const optionst::value_listt &optionst::get_list_option(
   else
     return it->second;
 }
+
+/// Returns the options as JSON key value pairs
+json_objectt optionst::to_json() const
+{
+  json_objectt json_options;
+  for(const auto &option_pair : option_map)
+  {
+    json_arrayt &values = json_options[option_pair.first].make_array();
+    for(const auto &value : option_pair.second)
+       values.push_back(json_stringt(value));
+  }
+  return json_options;
+}
+
+/// Outputs the options to `out`
+void optionst::output(std::ostream &out) const
+{
+  for(const auto &option_pair : option_map)
+  {
+    out << option_pair.first << ": ";
+    bool first = true;
+    for(const auto &value : option_pair.second)
+    {
+      if(first)
+        first = false;
+      else
+        out << ", ";
+      out << '"' << value << '"';
+    }
+    out << "\n";
+  }
+}

src/util/options.h

@@ -16,6 +16,8 @@ Author: Daniel Kroening, [email protected]
 #include <map>
 #include <list>
 
+class json_objectt;
+
 class optionst
 {
 public:
@@ -55,6 +57,9 @@ class optionst
     return *this;
   }
 
+  json_objectt to_json() const;
+  void output(std::ostream &out) const;
+
 protected:
   option_mapt option_map;
   const value_listt empty_list;