Index: runtime/vm/json_stream.h |
diff --git a/runtime/vm/json_stream.h b/runtime/vm/json_stream.h |
index 92cbc4e240bf657a9cf28469c1cb41ffb3bca39f..239c4e76f3241cd43f0523d3494b2fd010121188 100644 |
--- a/runtime/vm/json_stream.h |
+++ b/runtime/vm/json_stream.h |
@@ -126,6 +126,10 @@ class JSONStream : ValueObject { |
// Append |serialized_object| to the stream. |
void AppendSerializedObject(const char* serialized_object); |
+ // Append |serialized_object| to the stream with |property_name|. |
+ void AppendSerializedObject(const char* property_name, |
+ const char* serialized_object); |
+ |
private: |
void Clear(); |
void PostNullReply(Dart_Port port); |