| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (c) 2014, the Dart project authors. | 2 * Copyright (c) 2014, the Dart project authors. |
| 3 * | 3 * |
| 4 * Licensed under the Eclipse Public License v1.0 (the "License"); you may not u
se this file except | 4 * Licensed under the Eclipse Public License v1.0 (the "License"); you may not u
se this file except |
| 5 * in compliance with the License. You may obtain a copy of the License at | 5 * in compliance with the License. You may obtain a copy of the License at |
| 6 * | 6 * |
| 7 * http://www.eclipse.org/legal/epl-v10.html | 7 * http://www.eclipse.org/legal/epl-v10.html |
| 8 * | 8 * |
| 9 * Unless required by applicable law or agreed to in writing, software distribut
ed under the License | 9 * Unless required by applicable law or agreed to in writing, software distribut
ed under the License |
| 10 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY K
IND, either express | 10 * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY K
IND, either express |
| (...skipping 248 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 259 public void execution_createContext(String contextRoot, CreateContextConsumer
consumer); | 259 public void execution_createContext(String contextRoot, CreateContextConsumer
consumer); |
| 260 | 260 |
| 261 /** | 261 /** |
| 262 * {@code execution.deleteContext} | 262 * {@code execution.deleteContext} |
| 263 * | 263 * |
| 264 * Delete the execution context with the given identifier. The context id is n
o longer valid after | 264 * Delete the execution context with the given identifier. The context id is n
o longer valid after |
| 265 * this command. The server is allowed to re-use ids when they are no longer v
alid. | 265 * this command. The server is allowed to re-use ids when they are no longer v
alid. |
| 266 * | 266 * |
| 267 * @param id The identifier of the execution context that is to be deleted. | 267 * @param id The identifier of the execution context that is to be deleted. |
| 268 */ | 268 */ |
| 269 public void execution_deleteContext(ExecutionContextId id); | 269 public void execution_deleteContext(String id); |
| 270 | 270 |
| 271 /** | 271 /** |
| 272 * {@code execution.mapUri} | 272 * {@code execution.mapUri} |
| 273 * | 273 * |
| 274 * Map a URI from the execution context to the file that it corresponds to, or
map a file to the | 274 * Map a URI from the execution context to the file that it corresponds to, or
map a file to the |
| 275 * URI that it corresponds to in the execution context. | 275 * URI that it corresponds to in the execution context. |
| 276 * | 276 * |
| 277 * Exactly one of the file and uri fields must be provided. | 277 * Exactly one of the file and uri fields must be provided. |
| 278 * | 278 * |
| 279 * @param id The identifier of the execution context in which the URI is to be
mapped. | 279 * @param id The identifier of the execution context in which the URI is to be
mapped. |
| 280 * @param file The path of the file to be mapped into a URI. | 280 * @param file The path of the file to be mapped into a URI. |
| 281 * @param uri The URI to be mapped into a file path. | 281 * @param uri The URI to be mapped into a file path. |
| 282 */ | 282 */ |
| 283 public void execution_mapUri(ExecutionContextId id, String file, String uri, M
apUriConsumer consumer); | 283 public void execution_mapUri(String id, String file, String uri, MapUriConsume
r consumer); |
| 284 | 284 |
| 285 /** | 285 /** |
| 286 * {@code execution.setSubscriptions} | 286 * {@code execution.setSubscriptions} |
| 287 * | 287 * |
| 288 * Subscribe for services. All previous subscriptions are replaced by the give
n set of services. | 288 * Subscribe for services. All previous subscriptions are replaced by the give
n set of services. |
| 289 * | 289 * |
| 290 * It is an error if any of the elements in the list are not valid services. I
f there is an error, | 290 * It is an error if any of the elements in the list are not valid services. I
f there is an error, |
| 291 * then the current subscriptions will remain unchanged. | 291 * then the current subscriptions will remain unchanged. |
| 292 * | 292 * |
| 293 * @param subscriptions A list of the services being subscribed to. | 293 * @param subscriptions A list of the services being subscribed to. |
| (...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 399 | 399 |
| 400 /** | 400 /** |
| 401 * Start the analysis server. | 401 * Start the analysis server. |
| 402 * | 402 * |
| 403 * @param millisToRestart the number of milliseconds to wait for an unresponsi
ve server before | 403 * @param millisToRestart the number of milliseconds to wait for an unresponsi
ve server before |
| 404 * restarting it, or zero if the server should not be restarted. | 404 * restarting it, or zero if the server should not be restarted. |
| 405 */ | 405 */ |
| 406 public void start(long millisToRestart) throws Exception; | 406 public void start(long millisToRestart) throws Exception; |
| 407 | 407 |
| 408 } | 408 } |
| OLD | NEW |