Use typed RefactoringOptions in the Dart version of the protocol.

pkg/analysis_server/test/integration/protocol_matchers.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".
 
 /**
  * Matchers for data types defined in the analysis server API
@@ skipping 613 matching lines @@
 
 /**
  * edit.getRefactoring params
  *
  * {
  *   "kind": RefactoringKind
  *   "file": FilePath
  *   "offset": int
  *   "length": int
  *   "validateOnly": bool
- *   "options": optional object
+ *   "options": optional RefactoringOptions
  * }
  */
 final Matcher isEditGetRefactoringParams = new LazyMatcher(() => new MatchesJsonObject(
   "edit.getRefactoring params", {
     "kind": isRefactoringKind,
     "file": isFilePath,
     "offset": isInt,
     "length": isInt,
     "validateOnly": isBool
   }, optionalFields: {
-    "options": isObject
+    "options": isRefactoringOptions
   }));
 
 /**
  * edit.getRefactoring result
  *
  * {
  *   "problems": List<RefactoringProblem>
  *   "feedback": optional object
  *   "change": optional SourceChange
  *   "potentialEdits": optional List<String>
@@ skipping 870 matching lines @@
   "RefactoringMethodParameter", {
     "kind": isRefactoringMethodParameterKind,
     "type": isString,
     "name": isString
   }, optionalFields: {
     "id": isString,
     "parameters": isString
   }));
 
 /**
+ * RefactoringOptions
+ *
+ * {
+ * }
+ */
+final Matcher isRefactoringOptions = new LazyMatcher(() => new MatchesJsonObject(
+  "RefactoringOptions", null));
+
+/**
  * RefactoringMethodParameterKind
  *
  * enum {
  *   REQUIRED
  *   POSITIONAL
  *   NAMED
  * }
  */
 final Matcher isRefactoringMethodParameterKind = new MatchesEnum("RefactoringMethodParameterKind", [
   "REQUIRED",
@@ skipping 367 matching lines @@
  *
  * {
  *   "newName": String
  * }
  */
 final Matcher isRenameOptions = new LazyMatcher(() => new MatchesJsonObject(
   "rename options", {
     "newName": isString
   }));