Include additional information into RenameFeedback.

pkg/analysis_server/lib/src/generated_protocol.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 //
 // This file has been automatically generated.  Please do not edit it manually.
 // To regenerate the file, use the script
 // "pkg/analysis_server/spec/generate_files".
 
 part of protocol;
 /**
@@ skipping 9695 matching lines @@
     return _JenkinsSmiHash.finish(hash);
   }
 }
 
 /**
  * rename feedback
  *
  * {
  *   "offset": int
  *   "length": int
+ *   "elementKindName": String
+ *   "oldName": String
  * }
  */
 class RenameFeedback extends RefactoringFeedback implements HasToJson {
   /**
    * The offset to the beginning of the name selected to be renamed.
    */
   int offset;
 
   /**
    * The length of the name selected to be renamed.
    */
   int length;
 
-  RenameFeedback(this.offset, this.length);
+  /**
+   * The human-readable description of the kind of element being renamed (such
+   * as “class” or “function type alias”).
+   */
+  String elementKindName;
+
+  /**
+   * The old name of the element before the refactoring.
+   */
+  String oldName;
+
+  RenameFeedback(this.offset, this.length, this.elementKindName, this.oldName);
 
   factory RenameFeedback.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object json) {
     if (json == null) {
       json = {};
     }
     if (json is Map) {
       int offset;
       if (json.containsKey("offset")) {
         offset = jsonDecoder._decodeInt(jsonPath + ".offset", json["offset"]);
       } else {
         throw jsonDecoder.missingKey(jsonPath, "offset");
       }
       int length;
       if (json.containsKey("length")) {
         length = jsonDecoder._decodeInt(jsonPath + ".length", json["length"]);
       } else {
         throw jsonDecoder.missingKey(jsonPath, "length");
       }
-      return new RenameFeedback(offset, length);
+      String elementKindName;
+      if (json.containsKey("elementKindName")) {
+        elementKindName = jsonDecoder._decodeString(jsonPath + ".elementKindName", json["elementKindName"]);
+      } else {
+        throw jsonDecoder.missingKey(jsonPath, "elementKindName");
+      }
+      String oldName;
+      if (json.containsKey("oldName")) {
+        oldName = jsonDecoder._decodeString(jsonPath + ".oldName", json["oldName"]);
+      } else {
+        throw jsonDecoder.missingKey(jsonPath, "oldName");
+      }
+      return new RenameFeedback(offset, length, elementKindName, oldName);
     } else {
       throw jsonDecoder.mismatch(jsonPath, "rename feedback");
     }
   }
 
   Map<String, dynamic> toJson() {
     Map<String, dynamic> result = {};
     result["offset"] = offset;
     result["length"] = length;
+    result["elementKindName"] = elementKindName;
+    result["oldName"] = oldName;
     return result;
   }
 
   @override
   String toString() => JSON.encode(toJson());
 
   @override
   bool operator==(other) {
     if (other is RenameFeedback) {
       return offset == other.offset &&
-          length == other.length;
+          length == other.length &&
+          elementKindName == other.elementKindName &&
+          oldName == other.oldName;
     }
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, offset.hashCode);
     hash = _JenkinsSmiHash.combine(hash, length.hashCode);
+    hash = _JenkinsSmiHash.combine(hash, elementKindName.hashCode);
+    hash = _JenkinsSmiHash.combine(hash, oldName.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }
 
 /**
  * rename options
  *
  * {
  *   "newName": String
  * }
@@ skipping 45 matching lines @@
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, newName.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }