Output options in JBMC

Author: peterschrammel

jbmc/src/jbmc/jbmc_parse_options.cpp

@@ -20,6 +20,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/exit_codes.h>
 #include <util/invariant.h>
 #include <util/unicode.h>
+#include <util/xml.h>
 #include <util/version.h>
 
 #include <langapi/language.h>
@@ -422,6 +423,24 @@ int jbmc_parse_optionst::doit()
            << "-bit " << config.this_architecture() << " "
            << config.this_operating_system() << eom;
 
+  // output the options
+  switch(ui_message_handler.get_ui())
+  {
+    case ui_message_handlert::uit::PLAIN:
+      options.output(debug());
+      break;
+    case ui_message_handlert::uit::JSON_UI:
+    {
+      json_objectt json_options;
+      json_options["options"] = options.to_json();
+      debug() << json_options;
+      break;
+    }
+    case ui_message_handlert::uit::XML_UI:
+      debug() << options.to_xml();
+      break;
+  }
+
   register_language(new_ansi_c_language);
   register_language(new_java_bytecode_language);