| Index: runtime/vm/json_stream.h
|
| diff --git a/runtime/vm/json_stream.h b/runtime/vm/json_stream.h
|
| index 245ab3036b6df4160f1e2640a9fed61e59133cb4..8c145681263de23ada70bb6323621bc8930f74a0 100644
|
| --- a/runtime/vm/json_stream.h
|
| +++ b/runtime/vm/json_stream.h
|
| @@ -9,6 +9,7 @@
|
| #include "platform/text_buffer.h"
|
| #include "vm/allocation.h"
|
| #include "vm/service.h"
|
| +#include "vm/token_position.h"
|
|
|
|
|
| namespace dart {
|
| @@ -155,6 +156,7 @@ class JSONStream : ValueObject {
|
| void PrintfValue(const char* format, ...) PRINTF_ATTRIBUTE(2, 3);
|
| void PrintValue(const Object& o, bool ref = true);
|
| void PrintValue(Breakpoint* bpt);
|
| + void PrintValue(TokenPosition tp);
|
| void PrintValue(const ServiceEvent* event);
|
| void PrintValue(Metric* metric);
|
| void PrintValue(MessageQueue* queue);
|
| @@ -183,6 +185,7 @@ class JSONStream : ValueObject {
|
|
|
| void PrintProperty(const char* name, const ServiceEvent* event);
|
| void PrintProperty(const char* name, Breakpoint* bpt);
|
| + void PrintProperty(const char* name, TokenPosition tp);
|
| void PrintProperty(const char* name, Metric* metric);
|
| void PrintProperty(const char* name, MessageQueue* queue);
|
| void PrintProperty(const char* name, Isolate* isolate);
|
| @@ -241,9 +244,10 @@ class JSONObject : public ValueObject {
|
|
|
| void AddFixedServiceId(const char* format, ...) const PRINTF_ATTRIBUTE(2, 3);
|
|
|
| - void AddLocation(const Script& script,
|
| - intptr_t token_pos,
|
| - intptr_t end_token_pos = -1) const;
|
| + void AddLocation(
|
| + const Script& script,
|
| + TokenPosition token_pos,
|
| + TokenPosition end_token_pos = TokenPosition::kNoSource) const;
|
|
|
| void AddLocation(const BreakpointLocation* bpt_loc) const;
|
|
|
| @@ -293,6 +297,9 @@ class JSONObject : public ValueObject {
|
| void AddProperty(const char* name, Breakpoint* bpt) const {
|
| stream_->PrintProperty(name, bpt);
|
| }
|
| + void AddProperty(const char* name, TokenPosition tp) const {
|
| + stream_->PrintProperty(name, tp);
|
| + }
|
| void AddProperty(const char* name, Metric* metric) const {
|
| stream_->PrintProperty(name, metric);
|
| }
|
| @@ -357,6 +364,9 @@ class JSONArray : public ValueObject {
|
| void AddValue(Breakpoint* bpt) const {
|
| stream_->PrintValue(bpt);
|
| }
|
| + void AddValue(TokenPosition tp) const {
|
| + stream_->PrintValue(tp);
|
| + }
|
| void AddValue(const ServiceEvent* event) const {
|
| stream_->PrintValue(event);
|
| }
|
|
|