| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| index 70039c4377b2cb8aa7de6966697e1305dc7fdd0b..dda20c958118f415ccacbf7e2ca0e40832368ae2 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameOptions.java
|
| @@ -44,7 +44,7 @@ public class RenameOptions extends RefactoringOptions {
|
| /**
|
| * The name that the element should have after the refactoring.
|
| */
|
| - private final String newName;
|
| + private String newName;
|
|
|
| /**
|
| * Constructor for {@link RenameOptions}.
|
| @@ -94,6 +94,13 @@ public class RenameOptions extends RefactoringOptions {
|
| return builder.toHashCode();
|
| }
|
|
|
| + /**
|
| + * The name that the element should have after the refactoring.
|
| + */
|
| + public void setNewName(String newName) {
|
| + this.newName = newName;
|
| + }
|
| +
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.addProperty("newName", newName);
|
|
|