| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/InlineMethodOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/InlineMethodOptions.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/InlineMethodOptions.java
|
| index f3228a6575fa437d3de4bcba8dc407c934bbba70..e1279f93c37d60c18f292ae96361baf18c362181 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/InlineMethodOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/InlineMethodOptions.java
|
| @@ -45,13 +45,13 @@ public class InlineMethodOptions extends RefactoringOptions {
|
| * True if the method being inlined should be removed. It is an error if this field is true and
|
| * inlineAll is false.
|
| */
|
| - private final boolean deleteSource;
|
| + private boolean deleteSource;
|
|
|
| /**
|
| * True if all invocations of the method should be inlined, or false if only the invocation site
|
| * used to create this refactoring should be inlined.
|
| */
|
| - private final boolean inlineAll;
|
| + private boolean inlineAll;
|
|
|
| /**
|
| * Constructor for {@link InlineMethodOptions}.
|
| @@ -114,6 +114,22 @@ public class InlineMethodOptions extends RefactoringOptions {
|
| return builder.toHashCode();
|
| }
|
|
|
| + /**
|
| + * True if the method being inlined should be removed. It is an error if this field is true and
|
| + * inlineAll is false.
|
| + */
|
| + public void setDeleteSource(boolean deleteSource) {
|
| + this.deleteSource = deleteSource;
|
| + }
|
| +
|
| + /**
|
| + * True if all invocations of the method should be inlined, or false if only the invocation site
|
| + * used to create this refactoring should be inlined.
|
| + */
|
| + public void setInlineAll(boolean inlineAll) {
|
| + this.inlineAll = inlineAll;
|
| + }
|
| +
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| jsonObject.addProperty("deleteSource", deleteSource);
|
|
|