| Index: runtime/vm/json_stream.cc
|
| diff --git a/runtime/vm/json_stream.cc b/runtime/vm/json_stream.cc
|
| index f6a255d621ad024d36b7678f59353ef493e9bf7b..f25add71d282187f1f66be75c881ed6fe3293c13 100644
|
| --- a/runtime/vm/json_stream.cc
|
| +++ b/runtime/vm/json_stream.cc
|
| @@ -308,6 +308,11 @@ void JSONStream::PrintValueTimeMillis(int64_t millis) {
|
| }
|
|
|
|
|
| +void JSONStream::PrintValueTimeMicros(int64_t micros) {
|
| + PrintValue64(micros);
|
| +}
|
| +
|
| +
|
| void JSONStream::PrintValue(double d) {
|
| PrintCommaIfNeeded();
|
| buffer_.Printf("%f", d);
|
| @@ -465,6 +470,11 @@ void JSONStream::PrintPropertyTimeMillis(const char* name, int64_t millis) {
|
| }
|
|
|
|
|
| +void JSONStream::PrintPropertyTimeMicros(const char* name, int64_t micros) {
|
| + PrintProperty64(name, micros);
|
| +}
|
| +
|
| +
|
| void JSONStream::PrintProperty(const char* name, double d) {
|
| PrintPropertyName(name);
|
| PrintValue(d);
|
|
|