| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/FoldingRegion.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| similarity index 69%
|
| copy from editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/FoldingRegion.java
|
| copy to editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| index 348862a955d9c6623dfad694bce95fd37a5b040b..249efc706b16534f2c34c481731903121502b690 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/FoldingRegion.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/RenameFeedback.java
|
| @@ -32,65 +32,55 @@ import java.util.Iterator;
|
| import org.apache.commons.lang3.StringUtils;
|
|
|
| /**
|
| - * A description of a region that can be folded.
|
| - *
|
| * @coverage dart.server.generated.types
|
| */
|
| @SuppressWarnings("unused")
|
| -public class FoldingRegion {
|
| -
|
| - public static final FoldingRegion[] EMPTY_ARRAY = new FoldingRegion[0];
|
| +public class RenameFeedback {
|
|
|
| - public static final List<FoldingRegion> EMPTY_LIST = Lists.newArrayList();
|
| + public static final RenameFeedback[] EMPTY_ARRAY = new RenameFeedback[0];
|
|
|
| - /**
|
| - * The kind of the region.
|
| - */
|
| - private final String kind;
|
| + public static final List<RenameFeedback> EMPTY_LIST = Lists.newArrayList();
|
|
|
| /**
|
| - * The offset of the region to be folded.
|
| + * The offset to the beginning of the name selected to be renamed.
|
| */
|
| private final Integer offset;
|
|
|
| /**
|
| - * The length of the region to be folded.
|
| + * The length of the name selected to be renamed.
|
| */
|
| private final Integer length;
|
|
|
| /**
|
| - * Constructor for {@link FoldingRegion}.
|
| + * Constructor for {@link RenameFeedback}.
|
| */
|
| - public FoldingRegion(String kind, Integer offset, Integer length) {
|
| - this.kind = kind;
|
| + public RenameFeedback(Integer offset, Integer length) {
|
| this.offset = offset;
|
| this.length = length;
|
| }
|
|
|
| @Override
|
| public boolean equals(Object obj) {
|
| - if (obj instanceof FoldingRegion) {
|
| - FoldingRegion other = (FoldingRegion) obj;
|
| + if (obj instanceof RenameFeedback) {
|
| + RenameFeedback other = (RenameFeedback) obj;
|
| return
|
| - ObjectUtilities.equals(other.kind, kind) &&
|
| other.offset == offset &&
|
| other.length == length;
|
| }
|
| return false;
|
| }
|
|
|
| - public static FoldingRegion fromJson(JsonObject jsonObject) {
|
| - String kind = jsonObject.get("kind").getAsString();
|
| + public static RenameFeedback fromJson(JsonObject jsonObject) {
|
| Integer offset = jsonObject.get("offset").getAsInt();
|
| Integer length = jsonObject.get("length").getAsInt();
|
| - return new FoldingRegion(kind, offset, length);
|
| + return new RenameFeedback(offset, length);
|
| }
|
|
|
| - public static List<FoldingRegion> fromJsonArray(JsonArray jsonArray) {
|
| + public static List<RenameFeedback> fromJsonArray(JsonArray jsonArray) {
|
| if (jsonArray == null) {
|
| return EMPTY_LIST;
|
| }
|
| - ArrayList<FoldingRegion> list = new ArrayList<FoldingRegion>(jsonArray.size());
|
| + ArrayList<RenameFeedback> list = new ArrayList<RenameFeedback>(jsonArray.size());
|
| Iterator<JsonElement> iterator = jsonArray.iterator();
|
| while (iterator.hasNext()) {
|
| list.add(fromJson(iterator.next().getAsJsonObject()));
|
| @@ -99,21 +89,14 @@ public class FoldingRegion {
|
| }
|
|
|
| /**
|
| - * The kind of the region.
|
| - */
|
| - public String getKind() {
|
| - return kind;
|
| - }
|
| -
|
| - /**
|
| - * The length of the region to be folded.
|
| + * The length of the name selected to be renamed.
|
| */
|
| public Integer getLength() {
|
| return length;
|
| }
|
|
|
| /**
|
| - * The offset of the region to be folded.
|
| + * The offset to the beginning of the name selected to be renamed.
|
| */
|
| public Integer getOffset() {
|
| return offset;
|
| @@ -122,7 +105,6 @@ public class FoldingRegion {
|
| @Override
|
| public int hashCode() {
|
| HashCodeBuilder builder = new HashCodeBuilder();
|
| - builder.append(kind);
|
| builder.append(offset);
|
| builder.append(length);
|
| return builder.toHashCode();
|
| @@ -130,7 +112,6 @@ public class FoldingRegion {
|
|
|
| public JsonObject toJson() {
|
| JsonObject jsonObject = new JsonObject();
|
| - jsonObject.addProperty("kind", kind);
|
| jsonObject.addProperty("offset", offset);
|
| jsonObject.addProperty("length", length);
|
| return jsonObject;
|
| @@ -140,8 +121,6 @@ public class FoldingRegion {
|
| public String toString() {
|
| StringBuilder builder = new StringBuilder();
|
| builder.append("[");
|
| - builder.append("kind=");
|
| - builder.append(kind + ", ");
|
| builder.append("offset=");
|
| builder.append(offset + ", ");
|
| builder.append("length=");
|
|
|