Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(228)

Unified Diff: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/AnalysisServer.java

Issue 546073006: Update RemoteAnalysisServerImpl and tests to fix the build. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « no previous file | editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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}
« no previous file with comments | « no previous file | editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/ExecutionService.java » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698