| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| index eda1140a89808c26ff10644a223c8f3eec731f0f..3a85c3980f31585a1b28703b47055b7affc17ec0 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SourceChange.java
|
| @@ -31,6 +31,16 @@ import org.apache.commons.lang3.StringUtils;
|
| public class SourceChange {
|
|
|
| /**
|
| + * An empty array of {@link SourceChange}s.
|
| + */
|
| + public static final SourceChange[] EMPTY_ARRAY = new SourceChange[0];
|
| +
|
| + /**
|
| + * A human-readable description of the change to be applied.
|
| + */
|
| + private final String message;
|
| +
|
| + /**
|
| * A list of the edits used to effect the change, grouped by file.
|
| */
|
| private final List<SourceFileEdit> edits;
|
| @@ -41,11 +51,6 @@ public class SourceChange {
|
| private final List<LinkedEditGroup> linkedEditGroups;
|
|
|
| /**
|
| - * A human-readable description of the change to be applied.
|
| - */
|
| - private final String message;
|
| -
|
| - /**
|
| * The position that should be selected after the edits have been applied.
|
| */
|
| private final Position selection;
|
|
|