Add JSON output for class hierarchy

Author: peterschrammel

src/goto-programs/class_hierarchy.cpp

@@ -15,6 +15,7 @@ Date: April 2016
 
 #include <ostream>
 
+#include <util/json_stream.h>
 #include <util/std_types.h>
 #include <util/symbol_table.h>
 
@@ -158,3 +159,22 @@ void class_hierarchyt::output_dot(std::ostream &ostr) const
   }
   ostr << "}\n";
 }
+
+void class_hierarchyt::output(json_stream_arrayt &json_stream, bool children_only) const
+{
+  for(const auto &c : class_map)
+  {
+    json_stream_objectt &json_class = json_stream.push_back_stream_object();
+    json_class["name"] = json_stringt(c.first);
+    json_class["isAbstract"] = jsont::json_boolean(c.second.is_abstract);
+    if(!children_only)
+    {
+      json_stream_arrayt &json_parents = json_class.push_back_stream_array("parents");
+      for(const auto &pa : c.second.parents)
+        json_parents.push_back(json_stringt(pa));
+    }
+    json_stream_arrayt &json_children = json_class.push_back_stream_array("children");
+    for(const auto &ch : c.second.children)
+      json_children.push_back(json_stringt(ch));
+  }
+}

src/goto-programs/class_hierarchy.h

@@ -22,6 +22,7 @@ Date: April 2016
 #include <util/irep.h>
 
 class symbol_tablet;
+class json_stream_arrayt;
 
 class class_hierarchyt
 {
@@ -58,6 +59,7 @@ class class_hierarchyt
 
   void output(std::ostream &, bool children_only) const;
   void output_dot(std::ostream &) const;
+  void output(json_stream_arrayt &, bool children_only) const;
 
 protected:
   void get_children_trans_rec(const irep_idt &, idst &) const;