| Index: runtime/vm/json_stream.cc
|
| diff --git a/runtime/vm/json_stream.cc b/runtime/vm/json_stream.cc
|
| index 5b10ab0f6803fca90299bd0a3f50e88e30a88404..9a3054b3d83034286ddc7c3e8019d568132fd31b 100644
|
| --- a/runtime/vm/json_stream.cc
|
| +++ b/runtime/vm/json_stream.cc
|
| @@ -270,6 +270,11 @@ void JSONStream::PrintValue64(int64_t i) {
|
| }
|
|
|
|
|
| +void JSONStream::PrintValueTimeMillis(int64_t millis) {
|
| + PrintValue(static_cast<double>(millis));
|
| +}
|
| +
|
| +
|
| void JSONStream::PrintValue(double d) {
|
| PrintCommaIfNeeded();
|
| buffer_.Printf("%f", d);
|
| @@ -422,6 +427,11 @@ void JSONStream::PrintProperty64(const char* name, int64_t i) {
|
| }
|
|
|
|
|
| +void JSONStream::PrintPropertyTimeMillis(const char* name, int64_t millis) {
|
| + PrintProperty(name, static_cast<double>(millis));
|
| +}
|
| +
|
| +
|
| void JSONStream::PrintProperty(const char* name, double d) {
|
| PrintPropertyName(name);
|
| PrintValue(d);
|
|
|