Rename ExecutableFile.offset to ExecutableFile.kind and fix documentation.

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 5846 matching lines @@
   String toString() => "ElementKind.$name";
 
   String toJson() => name;
 }
 
 /**
  * ExecutableFile
  *
  * {
  *   "file": FilePath
- *   "offset": ExecutableKind
+ *   "kind": ExecutableKind
  * }
  */
 class ExecutableFile implements HasToJson {
   /**
    * The path of the executable file.
    */
   String file;
 
   /**
-   * The offset of the region to be highlighted.
+   * The kind of the executable file.
    */
-  ExecutableKind offset;
+  ExecutableKind kind;
 
-  ExecutableFile(this.file, this.offset);
+  ExecutableFile(this.file, this.kind);
 
   factory ExecutableFile.fromJson(JsonDecoder jsonDecoder, String jsonPath, Object json) {
     if (json == null) {
       json = {};
     }
     if (json is Map) {
       String file;
       if (json.containsKey("file")) {
         file = jsonDecoder._decodeString(jsonPath + ".file", json["file"]);
       } else {
         throw jsonDecoder.missingKey(jsonPath, "file");
       }
-      ExecutableKind offset;
-      if (json.containsKey("offset")) {
-        offset = new ExecutableKind.fromJson(jsonDecoder, jsonPath + ".offset", json["offset"]);
+      ExecutableKind kind;
+      if (json.containsKey("kind")) {
+        kind = new ExecutableKind.fromJson(jsonDecoder, jsonPath + ".kind", json["kind"]);
       } else {
-        throw jsonDecoder.missingKey(jsonPath, "offset");
+        throw jsonDecoder.missingKey(jsonPath, "kind");
       }
-      return new ExecutableFile(file, offset);
+      return new ExecutableFile(file, kind);
     } else {
       throw jsonDecoder.mismatch(jsonPath, "ExecutableFile");
     }
   }
 
   Map<String, dynamic> toJson() {
     Map<String, dynamic> result = {};
     result["file"] = file;
-    result["offset"] = offset.toJson();
+    result["kind"] = kind.toJson();
     return result;
   }
 
   @override
   String toString() => JSON.encode(toJson());
 
   @override
   bool operator==(other) {
     if (other is ExecutableFile) {
       return file == other.file &&
-          offset == other.offset;
+          kind == other.kind;
     }
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, file.hashCode);
-    hash = _JenkinsSmiHash.combine(hash, offset.hashCode);
+    hash = _JenkinsSmiHash.combine(hash, kind.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }
 
 /**
  * ExecutableKind
  *
  * enum {
  *   CLIENT
  *   EITHER
@@ skipping 3820 matching lines @@
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, newName.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }