| 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 6e2c53f7a307c4ec49f528f495b93343bc51e943..c1c43584e4df37ec93ce1af28dc8b60dbdaf45fb 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
|
| @@ -266,7 +266,7 @@ public interface AnalysisServer {
|
| *
|
| * @param id The identifier of the execution context that is to be deleted.
|
| */
|
| - public void execution_deleteContext(ExecutionContextId id);
|
| + public void execution_deleteContext(String id);
|
|
|
| /**
|
| * {@code execution.mapUri}
|
| @@ -280,7 +280,7 @@ public interface AnalysisServer {
|
| * @param file The path of the file to be mapped into a URI.
|
| * @param uri The URI to be mapped into a file path.
|
| */
|
| - public void execution_mapUri(ExecutionContextId id, String file, String uri, MapUriConsumer consumer);
|
| + public void execution_mapUri(String id, String file, String uri, MapUriConsumer consumer);
|
|
|
| /**
|
| * {@code execution.setSubscriptions}
|
|
|