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); |