source location in function listing

Author: Peter Schrammel

src/goto-programs/show_goto_functions.cpp

@@ -10,6 +10,7 @@ Author: Peter Schrammel
 
 #include <util/xml.h>
 #include <util/json.h>
+#include <util/json_expr.h>
 #include <util/i2string.h>
 #include <util/xml_expr.h>
 #include <util/cprover_prefix.h>
@@ -69,6 +70,8 @@ void show_goto_functions(
       json_objectt &json_function=
         json_functions.push_back(jsont()).make_object();
       json_function["name"]=json_stringt(id2string(it->first));
+      const symbolt &symbol=ns.lookup(it->first);
+      json_function["sourceLocation"]=json(symbol.location);
       json_function["isBodyAvailable"]=
         jsont::json_boolean(it->second.body_available());
       bool is_internal=(has_prefix(id2string(it->first), CPROVER_PREFIX) ||