New analysis.implemented notification specification.

pkg/analysis_server/tool/spec/generated/java/types/ImplementedMember.java

Index: pkg/analysis_server/tool/spec/generated/java/types/ImplementedMember.java
diff --git a/pkg/analysis_server/tool/spec/generated/java/types/FoldingRegion.java b/pkg/analysis_server/tool/spec/generated/java/types/ImplementedMember.java
similarity index 69%
copy from pkg/analysis_server/tool/spec/generated/java/types/FoldingRegion.java
copy to pkg/analysis_server/tool/spec/generated/java/types/ImplementedMember.java
index 3e63a4e0582bc9d89006f0900d776b0bf81ed32b..941d1a82ea86a2ecd72047f3cfbbe7aa45966f14 100644
--- a/pkg/analysis_server/tool/spec/generated/java/types/FoldingRegion.java
+++ b/pkg/analysis_server/tool/spec/generated/java/types/ImplementedMember.java
@@ -32,65 +32,57 @@ import java.util.Iterator;
 import org.apache.commons.lang3.StringUtils;
 
 /**
- * A description of a region that can be folded.
+ * A description of a class member that is implemented or overridden.
  *
  * @coverage dart.server.generated.types
  */
 @SuppressWarnings("unused")
-public class FoldingRegion {
+public class ImplementedMember {
 
-  public static final FoldingRegion[] EMPTY_ARRAY = new FoldingRegion[0];
+  public static final ImplementedMember[] EMPTY_ARRAY = new ImplementedMember[0];
 
-  public static final List<FoldingRegion> EMPTY_LIST = Lists.newArrayList();
+  public static final List<ImplementedMember> EMPTY_LIST = Lists.newArrayList();
 
   /**
-   * The kind of the region.
-   */
-  private final String kind;
-
-  /**
-   * The offset of the region to be folded.
+   * The offset of the name of the implemented member.
    */
   private final int offset;
 
   /**
-   * The length of the region to be folded.
+   * The length of the name of the implemented member.
    */
   private final int length;
 
   /**
-   * Constructor for {@link FoldingRegion}.
+   * Constructor for {@link ImplementedMember}.
    */
-  public FoldingRegion(String kind, int offset, int length) {
-    this.kind = kind;
+  public ImplementedMember(int offset, int length) {
     this.offset = offset;
     this.length = length;
   }
 
   @Override
   public boolean equals(Object obj) {
-    if (obj instanceof FoldingRegion) {
-      FoldingRegion other = (FoldingRegion) obj;
+    if (obj instanceof ImplementedMember) {
+      ImplementedMember other = (ImplementedMember) 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 ImplementedMember fromJson(JsonObject jsonObject) {
     int offset = jsonObject.get("offset").getAsInt();
     int length = jsonObject.get("length").getAsInt();
-    return new FoldingRegion(kind, offset, length);
+    return new ImplementedMember(offset, length);
   }
 
-  public static List<FoldingRegion> fromJsonArray(JsonArray jsonArray) {
+  public static List<ImplementedMember> fromJsonArray(JsonArray jsonArray) {
     if (jsonArray == null) {
       return EMPTY_LIST;
     }
-    ArrayList<FoldingRegion> list = new ArrayList<FoldingRegion>(jsonArray.size());
+    ArrayList<ImplementedMember> list = new ArrayList<ImplementedMember>(jsonArray.size());
     Iterator<JsonElement> iterator = jsonArray.iterator();
     while (iterator.hasNext()) {
       list.add(fromJson(iterator.next().getAsJsonObject()));
@@ -99,21 +91,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 of the implemented member.
    */
   public int getLength() {
     return length;
   }
 
   /**
-   * The offset of the region to be folded.
+   * The offset of the name of the implemented member.
    */
   public int getOffset() {
     return offset;
@@ -122,7 +107,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 +114,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 +123,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=");