Add property output functions

Plain text, XML and JSON output for property results.

Author: peterschrammel

src/goto-checker/properties.cpp

@@ -12,6 +12,8 @@ Author: Daniel Kroening, Peter Schrammel
 #include "properties.h"
 
 #include <util/invariant.h>
+#include <util/json.h>
+#include <util/xml.h>
 
 std::string as_string(resultt result)
 {
@@ -89,6 +91,31 @@ propertiest initialize_properties(const abstract_goto_modelt &goto_model)
   return properties;
 }
 
+std::string
+as_string(const irep_idt &property_id, const property_infot &property_info)
+{
+  return "[" + id2string(property_id) + "] " + property_info.description +
+         ": " + as_string(property_info.status);
+}
+
+xmlt xml(const irep_idt &property_id, const property_infot &property_info)
+{
+  xmlt xml_result("result");
+  xml_result.set_attribute("property", id2string(property_id));
+  xml_result.set_attribute("status", as_string(property_info.status));
+  return xml_result;
+}
+
+json_objectt
+json(const irep_idt &property_id, const property_infot &property_info)
+{
+  json_objectt result;
+  result["property"] = json_stringt(property_id);
+  result["description"] = json_stringt(property_info.description);
+  result["status"] = json_stringt(as_string(property_info.status));
+  return result;
+}
+
 std::size_t
 count_properties(const propertiest &properties, property_statust status)
 {

src/goto-checker/properties.h

@@ -16,6 +16,9 @@ Author: Daniel Kroening, Peter Schrammel
 
 #include <goto-programs/goto_model.h>
 
+class json_objectt;
+class xmlt;
+
 /// The status of a property
 enum class property_statust
 {
@@ -73,6 +76,14 @@ typedef std::unordered_map<irep_idt, property_infot> propertiest;
 /// Returns the properties in the goto model
 propertiest initialize_properties(const abstract_goto_modelt &);
 
+std::string
+as_string(const irep_idt &property_id, const property_infot &property_info);
+
+xmlt xml(const irep_idt &property_id, const property_infot &property_info);
+
+json_objectt
+json(const irep_idt &property_id, const property_infot &property_info);
+
 /// Return the number of properties with given \p status
 std::size_t count_properties(const propertiest &, property_statust);