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

runtime/vm/json_stream.h

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #ifndef VM_JSON_STREAM_H_
 #define VM_JSON_STREAM_H_
 
 #include "platform/json.h"
 #include "vm/allocation.h"
 
 namespace dart {
 
 class Object;
 class JSONObject;
 class JSONArray;
 
 class JSONStream : ValueObject {
  public:
   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);
   void SetOptions(const char** option_keys, const char** option_values,
                   intptr_t num_options);
 
   intptr_t num_arguments() const { return num_arguments_; }
   const char* GetArgument(intptr_t i) const {
     return arguments_[i];
   }
   intptr_t num_options() const { return num_options_; }
@@ skipping 118 matching lines @@
 
   friend class JSONObject;
 
   DISALLOW_ALLOCATION();
   DISALLOW_COPY_AND_ASSIGN(JSONArray);
 };
 
 }  // namespace dart
 
 #endif  // VM_JSON_STREAM_H_