| Index: runtime/vm/json_stream.cc
|
| diff --git a/runtime/vm/json_stream.cc b/runtime/vm/json_stream.cc
|
| index 2470d19c4ff47890b38f895e305b5fd0d0de8ee7..71d30a9b0168b73de9912b7c24e81e3a65d27c6c 100644
|
| --- a/runtime/vm/json_stream.cc
|
| +++ b/runtime/vm/json_stream.cc
|
| @@ -577,6 +577,20 @@ void JSONObject::AddFixedServiceId(const char* format, ...) const {
|
| }
|
|
|
|
|
| +void JSONObject::AddLocation(const Script& script,
|
| + intptr_t token_pos,
|
| + intptr_t end_token_pos) {
|
| + JSONObject location(this, "location");
|
| + location.AddProperty("type", "SourceLocation");
|
| + location.AddProperty("script", script);
|
| + location.AddProperty("tokenPos", token_pos);
|
| + if (end_token_pos >= 0) {
|
| + location.AddProperty("endTokenPos", end_token_pos);
|
| + }
|
| +}
|
| +
|
| +
|
| +
|
| void JSONObject::AddPropertyF(const char* name,
|
| const char* format, ...) const {
|
| stream_->PrintPropertyName(name);
|
|
|