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

We do output the size of vectors, but hadn't done so for arrays for some reason.

Author: tautschnig

src/goto-programs/json_expr.cpp

@@ -157,6 +157,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)
   {