| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 // | 4 // |
| 5 // This file has been automatically generated. Please do not edit it manually. | 5 // This file has been automatically generated. Please do not edit it manually. |
| 6 // To regenerate the file, use the script | 6 // To regenerate the file, use the script |
| 7 // "pkg/analysis_server/tool/spec/generate_files". | 7 // "pkg/analysis_server/tool/spec/generate_files". |
| 8 | 8 |
| 9 /** | 9 /** |
| 10 * Convenience methods for running integration tests | 10 * Convenience methods for running integration tests |
| (...skipping 1326 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1337 return server.send("execution.setSubscriptions", params) | 1337 return server.send("execution.setSubscriptions", params) |
| 1338 .then((result) { | 1338 .then((result) { |
| 1339 if (checkTypes) { | 1339 if (checkTypes) { |
| 1340 expect(result, isExecutionSetSubscriptionsResult); | 1340 expect(result, isExecutionSetSubscriptionsResult); |
| 1341 } | 1341 } |
| 1342 return result; | 1342 return result; |
| 1343 }); | 1343 }); |
| 1344 } | 1344 } |
| 1345 | 1345 |
| 1346 /** | 1346 /** |
| 1347 * Reports information needed to allow applications to be launched. | 1347 * Reports information needed to allow a single file to be launched. |
| 1348 * | 1348 * |
| 1349 * This notification is not subscribed to by default. Clients can subscribe | 1349 * This notification is not subscribed to by default. Clients can subscribe |
| 1350 * by including the value "LAUNCH_DATA" in the list of services passed in an | 1350 * by including the value "LAUNCH_DATA" in the list of services passed in an |
| 1351 * execution.setSubscriptions request. | 1351 * execution.setSubscriptions request. |
| 1352 * | 1352 * |
| 1353 * Parameters | 1353 * Parameters |
| 1354 * | 1354 * |
| 1355 * executables ( List<ExecutableFile> ) | 1355 * file ( FilePath ) |
| 1356 * | 1356 * |
| 1357 * A list of the files that are executable. This list replaces any previous | 1357 * The file for which launch data is being provided. This will either be a |
| 1358 * list provided. | 1358 * Dart library or an HTML file. |
| 1359 * | 1359 * |
| 1360 * dartToHtml ( Map<FilePath, List<FilePath>> ) | 1360 * kind ( optional ExecutableKind ) |
| 1361 * | 1361 * |
| 1362 * A mapping from the paths of Dart files that are referenced by HTML files | 1362 * The kind of the executable file. This field is omitted if the file is |
| 1363 * to a list of the HTML files that reference the Dart files. | 1363 * not a Dart file. |
| 1364 * | 1364 * |
| 1365 * htmlToDart ( Map<FilePath, List<FilePath>> ) | 1365 * referencedFiles ( optional List<FilePath> ) |
| 1366 * | 1366 * |
| 1367 * A mapping from the paths of HTML files that reference Dart files to a | 1367 * A list of the Dart files that are referenced by the file. This field is |
| 1368 * list of the Dart files they reference. | 1368 * omitted if the file is not an HTML file. |
| 1369 */ | 1369 */ |
| 1370 Stream onExecutionLaunchData; | 1370 Stream onExecutionLaunchData; |
| 1371 | 1371 |
| 1372 /** | 1372 /** |
| 1373 * Stream controller for [onExecutionLaunchData]. | 1373 * Stream controller for [onExecutionLaunchData]. |
| 1374 */ | 1374 */ |
| 1375 StreamController _onExecutionLaunchData; | 1375 StreamController _onExecutionLaunchData; |
| 1376 | 1376 |
| 1377 /** | 1377 /** |
| 1378 * Initialize the fields in InttestMixin, and ensure that notifications will | 1378 * Initialize the fields in InttestMixin, and ensure that notifications will |
| (...skipping 91 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1470 case "execution.launchData": | 1470 case "execution.launchData": |
| 1471 expect(params, isExecutionLaunchDataParams); | 1471 expect(params, isExecutionLaunchDataParams); |
| 1472 _onExecutionLaunchData.add(params); | 1472 _onExecutionLaunchData.add(params); |
| 1473 break; | 1473 break; |
| 1474 default: | 1474 default: |
| 1475 fail('Unexpected notification: $event'); | 1475 fail('Unexpected notification: $event'); |
| 1476 break; | 1476 break; |
| 1477 } | 1477 } |
| 1478 } | 1478 } |
| 1479 } | 1479 } |
| OLD | NEW |