| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| index 842d15c77860e0b630773c1844428916c547c8b0..a896f280c98b347dd702d4a18d224aa9a9e2f6b3 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceFileEdit.java
|
| @@ -73,7 +73,7 @@ public class SourceFileEdit {
|
|
|
| public static SourceFileEdit fromJson(JsonObject jsonObject) {
|
| String file = jsonObject.get("file").getAsString();
|
| - List<SourceEdit> edits = SourceEdit.fromJsonArray(jsonObject.get("edits").getAsJsonArray());
|
| + List<SourceEdit> edits = jsonObject.get("edits") == null ? null : SourceEdit.fromJsonArray(jsonObject.get("edits").getAsJsonArray());
|
| return new SourceFileEdit(file, edits);
|
| }
|
|
|
| @@ -106,11 +106,13 @@ public class SourceFileEdit {
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.addProperty("file", file);
|
| - JsonArray jsonArrayEdits = new JsonArray();
|
| - for(SourceEdit elt : edits) {
|
| - jsonArrayEdits.add(elt.toJson());
|
| + if (edits != null) {
|
| + JsonArray jsonArrayEdits = new JsonArray();
|
| + for(SourceEdit elt : edits) {
|
| + jsonArrayEdits.add(elt.toJson());
|
| + }
|
| + jsonObject.add("edits", jsonArrayEdits);
|
| }
|
| - jsonObject.add("edits", jsonArrayEdits);
|
| return jsonObject;
|
| }
|
|
|
|
|