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 144 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
155 /** | 155 /** |
156 * {@code analysis.updateContent} | 156 * {@code analysis.updateContent} |
157 * | 157 * |
158 * Update the content of one or more files. Files that were previously updated
but not included in | 158 * Update the content of one or more files. Files that were previously updated
but not included in |
159 * this update remain unchanged. This effectively represents an overlay of the
filesystem. The | 159 * this update remain unchanged. This effectively represents an overlay of the
filesystem. The |
160 * files whose content is overridden are therefore seen by server as being fil
es with the given | 160 * files whose content is overridden are therefore seen by server as being fil
es with the given |
161 * content, even if the files do not exist on the filesystem or if the file pa
th represents the | 161 * content, even if the files do not exist on the filesystem or if the file pa
th represents the |
162 * path to a directory on the filesystem. | 162 * path to a directory on the filesystem. |
163 * | 163 * |
164 * @param files A table mapping the files whose content has changed to a descr
iption of the content | 164 * @param files A table mapping the files whose content has changed to a descr
iption of the content |
165 * change. Each value should be one of the following types: AddContent
Overlay, | 165 * change. |
166 * ChangeContentOverlay, or RemoveContentOverlay. | |
167 */ | 166 */ |
168 public void analysis_updateContent(Map<String, Object> files); | 167 public void analysis_updateContent(Map<String, Object> files); |
169 | 168 |
170 /** | 169 /** |
171 * {@code analysis.updateOptions} | 170 * {@code analysis.updateOptions} |
172 * | 171 * |
173 * Update the options controlling analysis based on the given set of options.
Any options that are | 172 * Update the options controlling analysis based on the given set of options.
Any options that are |
174 * not included in the analysis options will not be changed. If there are opti
ons in the analysis | 173 * not included in the analysis options will not be changed. If there are opti
ons in the analysis |
175 * options that are not valid an error will be reported but the values of the
valid options will | 174 * options that are not valid an error will be reported but the values of the
valid options will |
176 * still be updated. | 175 * still be updated. |
(...skipping 217 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
394 public void server_shutdown(); | 393 public void server_shutdown(); |
395 | 394 |
396 /** | 395 /** |
397 * Start the analysis server. | 396 * Start the analysis server. |
398 * | 397 * |
399 * @param millisToRestart the number of milliseconds to wait for an unresponsi
ve server before | 398 * @param millisToRestart the number of milliseconds to wait for an unresponsi
ve server before |
400 * restarting it, or zero if the server should not be restarted. | 399 * restarting it, or zero if the server should not be restarted. |
401 */ | 400 */ |
402 public void start(long millisToRestart) throws Exception; | 401 public void start(long millisToRestart) throws Exception; |
403 } | 402 } |
OLD | NEW |