Merge pull request #4012 from tautschnig/json-xml-array-size

type-to-{JSON,XML}: output array size

Author: tautschnig

src/goto-programs/json_expr.cpp

@@ -156,6 +156,7 @@ json_objectt json(const typet &type, const namespacet &ns, const irep_idt &mode)
   {
     result["name"] = json_stringt("array");
     result["subtype"] = json(to_array_type(type).subtype(), ns, mode);
+    result["size"] = json(to_array_type(type).size(), ns, mode);
   }
   else if(type.id() == ID_vector)
   {

src/goto-programs/xml_expr.cpp

@@ -80,6 +80,8 @@ xmlt xml(const typet &type, const namespacet &ns)
     result.name = "array";
     result.new_element("subtype").new_element() =
       xml(to_array_type(type).subtype(), ns);
+    result.new_element("size").new_element() =
+      xml(to_array_type(type).size(), ns);
   }
   else if(type.id() == ID_vector)
   {