Update server generator

pkg/analysis_server/lib/plugin/protocol/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 analysis_server.plugin.protocol.protocol;
 
@@ skipping 12537 matching lines @@
   /**
    * The index of the file (in the enclosing navigation response) to navigate
    * to.
    */
   void set fileIndex(int value) {
     assert(value != null);
     this._fileIndex = value;
   }
 
   /**
-   * The offset of the region from which the user can navigate.
+   * The offset of the region to which the user can navigate.
    */
   int get offset => _offset;
 
   /**
-   * The offset of the region from which the user can navigate.
+   * The offset of the region to which the user can navigate.
    */
   void set offset(int value) {
     assert(value != null);
     this._offset = value;
   }
 
   /**
-   * The length of the region from which the user can navigate.
+   * The length of the region to which the user can navigate.
    */
   int get length => _length;
 
   /**
-   * The length of the region from which the user can navigate.
+   * The length of the region to which the user can navigate.
    */
   void set length(int value) {
     assert(value != null);
     this._length = value;
   }
 
   /**
    * The one-based index of the line containing the first character of the
    * region.
    */
@@ skipping 2943 matching lines @@
     hash = JenkinsSmiHash.combine(hash, mixins.hashCode);
     hash = JenkinsSmiHash.combine(hash, subclasses.hashCode);
     return JenkinsSmiHash.finish(hash);
   }
 }
 /**
  * convertGetterToMethod feedback
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ConvertGetterToMethodFeedback {
+class ConvertGetterToMethodFeedback extends RefactoringFeedback {
   @override
   bool operator==(other) {
     if (other is ConvertGetterToMethodFeedback) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 616032599;
   }
 }
 /**
  * convertGetterToMethod options
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ConvertGetterToMethodOptions {
+class ConvertGetterToMethodOptions extends RefactoringOptions {
   @override
   bool operator==(other) {
     if (other is ConvertGetterToMethodOptions) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 488848400;
   }
 }
 /**
  * convertMethodToGetter feedback
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ConvertMethodToGetterFeedback {
+class ConvertMethodToGetterFeedback extends RefactoringFeedback {
   @override
   bool operator==(other) {
     if (other is ConvertMethodToGetterFeedback) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 165291526;
   }
 }
 /**
  * convertMethodToGetter options
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ConvertMethodToGetterOptions {
+class ConvertMethodToGetterOptions extends RefactoringOptions {
   @override
   bool operator==(other) {
     if (other is ConvertMethodToGetterOptions) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 27952290;
   }
 }
 
 /**
  * extractLocalVariable feedback
  *
  * {
  *   "coveringExpressionOffsets": optional List<int>
  *   "coveringExpressionLengths": optional List<int>
  *   "names": List<String>
  *   "offsets": List<int>
  *   "lengths": List<int>
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ExtractLocalVariableFeedback extends RefactoringFeedback implements HasToJson {
+class ExtractLocalVariableFeedback extends RefactoringFeedback {
   List<int> _coveringExpressionOffsets;
 
   List<int> _coveringExpressionLengths;
 
   List<String> _names;
 
   List<int> _offsets;
 
   List<int> _lengths;
 
@@ skipping 161 matching lines @@
 /**
  * extractLocalVariable options
  *
  * {
  *   "name": String
  *   "extractAll": bool
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ExtractLocalVariableOptions extends RefactoringOptions implements HasToJson {
+class ExtractLocalVariableOptions extends RefactoringOptions {
   String _name;
 
   bool _extractAll;
 
   /**
    * The name that the local variable should be given.
    */
   String get name => _name;
 
   /**
@@ skipping 93 matching lines @@
  *   "returnType": String
  *   "names": List<String>
  *   "canCreateGetter": bool
  *   "parameters": List<RefactoringMethodParameter>
  *   "offsets": List<int>
  *   "lengths": List<int>
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ExtractMethodFeedback extends RefactoringFeedback implements HasToJson {
+class ExtractMethodFeedback extends RefactoringFeedback {
   int _offset;
 
   int _length;
 
   String _returnType;
 
   List<String> _names;
 
   bool _canCreateGetter;
 
@@ skipping 243 matching lines @@
  * {
  *   "returnType": String
  *   "createGetter": bool
  *   "name": String
  *   "parameters": List<RefactoringMethodParameter>
  *   "extractAll": bool
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class ExtractMethodOptions extends RefactoringOptions implements HasToJson {
+class ExtractMethodOptions extends RefactoringOptions {
   String _returnType;
 
   bool _createGetter;
 
   String _name;
 
   List<RefactoringMethodParameter> _parameters;
 
   bool _extractAll;
 
@@ skipping 180 matching lines @@
 /**
  * inlineLocalVariable feedback
  *
  * {
  *   "name": String
  *   "occurrences": int
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class InlineLocalVariableFeedback extends RefactoringFeedback implements HasToJson {
+class InlineLocalVariableFeedback extends RefactoringFeedback {
   String _name;
 
   int _occurrences;
 
   /**
    * The name of the variable being inlined.
    */
   String get name => _name;
 
   /**
@@ skipping 70 matching lines @@
     hash = JenkinsSmiHash.combine(hash, name.hashCode);
     hash = JenkinsSmiHash.combine(hash, occurrences.hashCode);
     return JenkinsSmiHash.finish(hash);
   }
 }
 /**
  * inlineLocalVariable options
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class InlineLocalVariableOptions {
+class InlineLocalVariableOptions extends RefactoringOptions {
   @override
   bool operator==(other) {
     if (other is InlineLocalVariableOptions) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 540364977;
   }
 }
 
 /**
  * inlineMethod feedback
  *
  * {
  *   "className": optional String
  *   "methodName": String
  *   "isDeclaration": bool
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class InlineMethodFeedback extends RefactoringFeedback implements HasToJson {
+class InlineMethodFeedback extends RefactoringFeedback {
   String _className;
 
   String _methodName;
 
   bool _isDeclaration;
 
   /**
    * The name of the class enclosing the method being inlined. If not a class
    * member is being inlined, this field will be absent.
    */
@@ skipping 104 matching lines @@
 /**
  * inlineMethod options
  *
  * {
  *   "deleteSource": bool
  *   "inlineAll": bool
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class InlineMethodOptions extends RefactoringOptions implements HasToJson {
+class InlineMethodOptions extends RefactoringOptions {
   bool _deleteSource;
 
   bool _inlineAll;
 
   /**
    * True if the method being inlined should be removed. It is an error if this
    * field is true and inlineAll is false.
    */
   bool get deleteSource => _deleteSource;
 
@@ skipping 79 matching lines @@
     hash = JenkinsSmiHash.combine(hash, deleteSource.hashCode);
     hash = JenkinsSmiHash.combine(hash, inlineAll.hashCode);
     return JenkinsSmiHash.finish(hash);
   }
 }
 /**
  * moveFile feedback
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class MoveFileFeedback {
+class MoveFileFeedback extends RefactoringFeedback {
   @override
   bool operator==(other) {
     if (other is MoveFileFeedback) {
       return true;
     }
     return false;
   }
 
   @override
   int get hashCode {
     return 438975893;
   }
 }
 
 /**
  * moveFile options
  *
  * {
  *   "newFile": FilePath
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class MoveFileOptions extends RefactoringOptions implements HasToJson {
+class MoveFileOptions extends RefactoringOptions {
   String _newFile;
 
   /**
    * The new file path to which the given file is being moved.
    */
   String get newFile => _newFile;
 
   /**
    * The new file path to which the given file is being moved.
    */
@@ skipping 58 matching lines @@
  *
  * {
  *   "offset": int
  *   "length": int
  *   "elementKindName": String
  *   "oldName": String
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class RenameFeedback extends RefactoringFeedback implements HasToJson {
+class RenameFeedback extends RefactoringFeedback {
   int _offset;
 
   int _length;
 
   String _elementKindName;
 
   String _oldName;
 
   /**
    * The offset to the beginning of the name selected to be renamed.
@@ skipping 127 matching lines @@
 
 /**
  * rename options
  *
  * {
  *   "newName": String
  * }
  *
  * Clients may not extend, implement or mix-in this class.
  */
-class RenameOptions extends RefactoringOptions implements HasToJson {
+class RenameOptions extends RefactoringOptions {
   String _newName;
 
   /**
    * The name that the element should have after the refactoring.
    */
   String get newName => _newName;
 
   /**
    * The name that the element should have after the refactoring.
    */
@@ skipping 45 matching lines @@
     return false;
   }
 
   @override
   int get hashCode {
     int hash = 0;
     hash = JenkinsSmiHash.combine(hash, newName.hashCode);
     return JenkinsSmiHash.finish(hash);
   }
 }