Add SourceFileEdit.time field.

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/tool/spec/generate_files".
 
 part of protocol;
 /**
@@ skipping 8807 matching lines @@
     hash = _JenkinsSmiHash.combine(hash, id.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }
 
 /**
  * SourceFileEdit
  *
  * {
  *   "file": FilePath
+ *   "time": int
  *   "edits": List<SourceEdit>
  * }
  */
 class SourceFileEdit implements HasToJson {
   /**
    * The file containing the code to be modified.
    */
   String file;
 
   /**
+   * The time in milliseconds since the "Unix epoch" when this change was
+   * created. The client may use it to make sure that the file was not changed
+   * since then, so it is safe to apply the change.
+   */
+  int time;
+
+  /**
    * A list of the edits used to effect the change.
    */
   List<SourceEdit> edits;
 
-  SourceFileEdit(this.file, {this.edits}) {
+  SourceFileEdit(this.file, {this.time, this.edits}) {
+    if (time == null) {
+      time = new DateTime.now().millisecondsSinceEpoch;
+    }
     if (edits == null) {
       edits = <SourceEdit>[];
     }
   }
 
   factory SourceFileEdit.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");
       }
+      int time;
+      if (json.containsKey("time")) {
+        time = jsonDecoder._decodeInt(jsonPath + ".time", json["time"]);
+      } else {
+        throw jsonDecoder.missingKey(jsonPath, "time");
+      }
       List<SourceEdit> edits;
       if (json.containsKey("edits")) {
         edits = jsonDecoder._decodeList(jsonPath + ".edits", json["edits"], (String jsonPath, Object json) => new SourceEdit.fromJson(jsonDecoder, jsonPath, json));
       } else {
         throw jsonDecoder.missingKey(jsonPath, "edits");
       }
-      return new SourceFileEdit(file, edits: edits);
+      return new SourceFileEdit(file, time: time, edits: edits);
     } else {
       throw jsonDecoder.mismatch(jsonPath, "SourceFileEdit");
     }
   }
 
   Map<String, dynamic> toJson() {
     Map<String, dynamic> result = {};
     result["file"] = file;
+    result["time"] = time;
     result["edits"] = edits.map((SourceEdit value) => value.toJson()).toList();
     return result;
   }
 
   /**
    * Adds the given [Edit] to the list.
    */
   void add(SourceEdit edit) => _addEditForSource(this, edit);
 
   /**
    * Adds the given [Edit]s.
    */
   void addAll(Iterable<SourceEdit> edits) =>
       _addAllEditsForSource(this, edits);
 
   @override
   String toString() => JSON.encode(toJson());
 
   @override
   bool operator==(other) {
     if (other is SourceFileEdit) {
       return file == other.file &&
+          time == other.time &&
           _listEqual(edits, other.edits, (SourceEdit a, SourceEdit b) => a == b);
     }
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, file.hashCode);
+    hash = _JenkinsSmiHash.combine(hash, time.hashCode);
     hash = _JenkinsSmiHash.combine(hash, edits.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }
 
 /**
  * TypeHierarchyItem
  *
  * {
  *   "classElement": Element
@@ skipping 1115 matching lines @@
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = _JenkinsSmiHash.combine(hash, newName.hashCode);
     return _JenkinsSmiHash.finish(hash);
   }
 }