| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
|
| index 760295605111eb145ff58877b212dd17aa035128..6818b9a067bd7de8dfca94f3d8e8440fa25774bf 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java
|
| @@ -288,7 +288,7 @@ public interface AnalysisServer {
|
| * omitted if the refactoring does not require any options or if the values of those
|
| * options are not known.
|
| */
|
| - public void edit_getRefactoring(String kind, String file, Integer offset, Integer length, Boolean validateOnly, Object options, GetRefactoringConsumer consumer);
|
| + public void edit_getRefactoring(String kind, String file, Integer offset, Integer length, Boolean validateOnly, RefactoringOptions options, GetRefactoringConsumer consumer);
|
|
|
| /**
|
| * Remove the given listener from the list of listeners that will receive notification when new
|
|
|