Index: pkg/dart_messages/lib/shared_messages.dart |
diff --git a/pkg/dart_messages/lib/shared_messages.dart b/pkg/dart_messages/lib/shared_messages.dart |
index ff9329629aa74e3f9e042d9857ca8113ad415b94..a58cbbfa024e7c5afc7afac36a0ff98b381caf9e 100644 |
--- a/pkg/dart_messages/lib/shared_messages.dart |
+++ b/pkg/dart_messages/lib/shared_messages.dart |
@@ -138,9 +138,9 @@ class Message { |
} |
String get messagesAsJson { |
- var jsonified = {}; |
+ var jsonifiedEntries = []; |
MESSAGES.forEach((String name, Message message) { |
- jsonified[name] = { |
+ jsonifiedEntries.add("'$name': " + JSON.encode({ |
Siggi Cherem (dart-lang)
2016/02/18 20:55:02
or use `const JsonEncoder.withIndent(' ').encode(
floitsch
2016/02/18 21:00:48
Even better.
Dart really has great libraries ;)
|
'id': message.id, |
'subId': message.subId, |
'category': message.category.name, |
@@ -150,9 +150,12 @@ String get messagesAsJson { |
'options': message.options, |
'usedBy': message.usedBy.map((platform) => platform.toString()).toList(), |
'examples': message.examples, |
- }; |
+ })); |
}); |
- return JSON.encode(jsonified); |
+ return """ |
+ { |
+ ${jsonifiedEntries.join(",\n")} |
+ }"""; |
} |
final Map<String, Message> MESSAGES = { |