Add SourceFileEdit.time field.

pkg/analysis_server/test/services/correction/change_test.dart

Index: pkg/analysis_server/test/services/correction/change_test.dart
diff --git a/pkg/analysis_server/test/services/correction/change_test.dart b/pkg/analysis_server/test/services/correction/change_test.dart
index bf5d2b806ef9cfc2502ddc89dce3e5648539b7f6..1cabc0be51a5e3ebc12e0d782d3a0facdd5e7df3 100644
--- a/pkg/analysis_server/test/services/correction/change_test.dart
+++ b/pkg/analysis_server/test/services/correction/change_test.dart
@@ -54,10 +54,10 @@ class ChangeTest {
 
   void test_toJson() {
     SourceChange change = new SourceChange('msg');
-    change.addFileEdit(new SourceFileEdit('/a.dart')
+    change.addFileEdit(new SourceFileEdit('/a.dart', time: 1)
         ..add(new SourceEdit(1, 2, 'aaa'))
         ..add(new SourceEdit(10, 20, 'bbb')));
-    change.addFileEdit(new SourceFileEdit('/b.dart')
+    change.addFileEdit(new SourceFileEdit('/b.dart', time: 2)
         ..add(new SourceEdit(21, 22, 'xxx'))
         ..add(new SourceEdit(210, 220, 'yyy')));
     {
@@ -78,6 +78,7 @@ class ChangeTest {
       'message': 'msg',
       'edits': [{
           'file': '/a.dart',
+          'time': 1,
           'edits': [{
               'offset': 10,
               'length': 20,
@@ -89,6 +90,7 @@ class ChangeTest {
             }]
         }, {
           'file': '/b.dart',
+          'time': 2,
           'edits': [{
               'offset': 210,
               'length': 220,
@@ -213,22 +215,23 @@ class FileEditTest {
   }
 
   void test_new() {
-    SourceFileEdit fileEdit = new SourceFileEdit('/test.dart');
+    SourceFileEdit fileEdit = new SourceFileEdit('/test.dart', time: 100);
     fileEdit.add(new SourceEdit(1, 2, 'aaa'));
     fileEdit.add(new SourceEdit(10, 20, 'bbb'));
     expect(
         fileEdit.toString(),
-        '{"file":"/test.dart","edits":['
+        '{"file":"/test.dart","time":100,"edits":['
             '{"offset":10,"length":20,"replacement":"bbb"},'
             '{"offset":1,"length":2,"replacement":"aaa"}]}');
   }
 
   void test_toJson() {
-    SourceFileEdit fileEdit = new SourceFileEdit('/test.dart');
+    SourceFileEdit fileEdit = new SourceFileEdit('/test.dart', time: 100);
     fileEdit.add(new SourceEdit(1, 2, 'aaa'));
     fileEdit.add(new SourceEdit(10, 20, 'bbb'));
     var expectedJson = {
       FILE: '/test.dart',
+      TIME: 100,
       EDITS: [{
           OFFSET: 10,
           LENGTH: 20,