- Write the coverage data to a file instead of printing to stdout.

runtime/vm/json_stream.h

Index: runtime/vm/json_stream.h
===================================================================
--- runtime/vm/json_stream.h	(revision 27712)
+++ runtime/vm/json_stream.h	(working copy)
@@ -19,6 +19,7 @@
   explicit JSONStream(intptr_t buf_size = 256);
   ~JSONStream();
 
+  TextBuffer* buffer() { return &buffer_; }

[siva, 2013/09/20 19:51:45]

TextBuffer* buffer() const { return &buffer_; }

[Ivan Posva, 2013/09/20 21:37:07]

Unfortunately that is not possible because the embedded buffer_ object is not
constant.

   const char* ToCString() { return buffer_.buf(); }

[siva, 2013/09/20 19:51:45]

Ditto here.

[Ivan Posva, 2013/09/20 21:37:07]

Ditto here.

 
   void SetArguments(const char** arguments, intptr_t num_arguments);