| OLD | NEW |
| 1 <html><head> | 1 <html><head> |
| 2 <meta charset="UTF-8"> | 2 <meta charset="UTF-8"> |
| 3 <title>Analysis Server API Specification</title> | 3 <title>Analysis Server API Specification</title> |
| 4 <style>body { | 4 <style>body { |
| 5 font-family: sans-serif, serif; | 5 font-family: sans-serif, serif; |
| 6 padding-left: 5%; | 6 padding-left: 5%; |
| 7 padding-right: 5%; | 7 padding-right: 5%; |
| 8 } | 8 } |
| 9 h1 { | 9 h1 { |
| 10 text-align: center; | 10 text-align: center; |
| (...skipping 1630 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1641 </p> | 1641 </p> |
| 1642 | 1642 |
| 1643 <h4>Parameters</h4><dl><dt class="field"><b><i>subscriptions ( List<<a
href="#type_ExecutionService">ExecutionService</a>> )</i></b></dt><dd> | 1643 <h4>Parameters</h4><dl><dt class="field"><b><i>subscriptions ( List<<a
href="#type_ExecutionService">ExecutionService</a>> )</i></b></dt><dd> |
| 1644 | 1644 |
| 1645 <p> | 1645 <p> |
| 1646 A list of the services being subscribed to. | 1646 A list of the services being subscribed to. |
| 1647 </p> | 1647 </p> |
| 1648 </dd></dl></dd></dl><h3>Notifications</h3><dl><dt class="notification"
>execution.launchData</dt><dd><div class="box"><pre>notification: { | 1648 </dd></dl></dd></dl><h3>Notifications</h3><dl><dt class="notification"
>execution.launchData</dt><dd><div class="box"><pre>notification: { |
| 1649 "event": "execution.launchData" | 1649 "event": "execution.launchData" |
| 1650 "params": { | 1650 "params": { |
| 1651 "<b>executables</b>": List<<a href="#type_ExecutableFile">ExecutableFile<
/a>> | 1651 "<b>file</b>": <a href="#type_FilePath">FilePath</a> |
| 1652 "<b>dartToHtml</b>": Map<<a href="#type_FilePath">FilePath</a>, List<<
a href="#type_FilePath">FilePath</a>>> | 1652 "<b>kind</b>": <span style="color:#999999">optional</span> <a href="#type_Ex
ecutableKind">ExecutableKind</a> |
| 1653 "<b>htmlToDart</b>": Map<<a href="#type_FilePath">FilePath</a>, List<<
a href="#type_FilePath">FilePath</a>>> | 1653 "<b>referencedFiles</b>": <span style="color:#999999">optional</span> List&l
t;<a href="#type_FilePath">FilePath</a>> |
| 1654 } | 1654 } |
| 1655 }</pre></div> | 1655 }</pre></div> |
| 1656 <p> | 1656 <p> |
| 1657 Reports information needed to allow applications to be launched. | 1657 Reports information needed to allow a single file to be launched. |
| 1658 </p> | 1658 </p> |
| 1659 <p> | 1659 <p> |
| 1660 This notification is not subscribed to by default. Clients can | 1660 This notification is not subscribed to by default. Clients can |
| 1661 subscribe by including the value "LAUNCH_DATA" in the list of services | 1661 subscribe by including the value "LAUNCH_DATA" in the list of services |
| 1662 passed in an <tt>execution.setSubscriptions</tt> request. | 1662 passed in an <tt>execution.setSubscriptions</tt> request. |
| 1663 </p> | 1663 </p> |
| 1664 | 1664 |
| 1665 <h4>Parameters</h4><dl><dt class="field"><b><i>executables ( List<<a hr
ef="#type_ExecutableFile">ExecutableFile</a>> )</i></b></dt><dd> | 1665 <h4>Parameters</h4><dl><dt class="field"><b><i>file ( <a href="#type_FileP
ath">FilePath</a> )</i></b></dt><dd> |
| 1666 | 1666 |
| 1667 <p> | 1667 <p> |
| 1668 A list of the files that are executable. This list replaces any | 1668 The file for which launch data is being provided. This will either |
| 1669 previous list provided. | 1669 be a Dart library or an HTML file. |
| 1670 </p> | 1670 </p> |
| 1671 </dd><dt class="field"><b><i>dartToHtml ( Map<<a href="#type_FilePa
th">FilePath</a>, List<<a href="#type_FilePath">FilePath</a>>> )</i></b
></dt><dd> | 1671 </dd><dt class="field"><b><i>kind ( <span style="color:#999999">option
al</span> <a href="#type_ExecutableKind">ExecutableKind</a> )</i></b></dt><dd> |
| 1672 | 1672 |
| 1673 <p> | 1673 <p> |
| 1674 A mapping from the paths of Dart files that are referenced by HTML | 1674 The kind of the executable file. This field is omitted if the file |
| 1675 files to a list of the HTML files that reference the Dart files. | 1675 is not a Dart file. |
| 1676 </p> | 1676 </p> |
| 1677 </dd><dt class="field"><b><i>htmlToDart ( Map<<a href="#type_FilePa
th">FilePath</a>, List<<a href="#type_FilePath">FilePath</a>>> )</i></b
></dt><dd> | 1677 </dd><dt class="field"><b><i>referencedFiles ( <span style="color:#999
999">optional</span> List<<a href="#type_FilePath">FilePath</a>> )</i></b>
</dt><dd> |
| 1678 | 1678 |
| 1679 <p> | 1679 <p> |
| 1680 A mapping from the paths of HTML files that reference Dart files | 1680 A list of the Dart files that are referenced by the file. This |
| 1681 to a list of the Dart files they reference. | 1681 field is omitted if the file is not an HTML file. |
| 1682 </p> | 1682 </p> |
| 1683 </dd></dl></dd></dl> | 1683 </dd></dl></dd></dl> |
| 1684 | 1684 |
| 1685 <h2 class="domain"><a name="types">Types</a></h2> | 1685 <h2 class="domain"><a name="types">Types</a></h2> |
| 1686 <p> | 1686 <p> |
| 1687 This section contains descriptions of the data types referenced | 1687 This section contains descriptions of the data types referenced |
| 1688 in the API’s of the various domains. | 1688 in the API’s of the various domains. |
| 1689 </p> | 1689 </p> |
| 1690 | 1690 |
| 1691 | 1691 |
| (...skipping 422 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2114 </dd><dt class="field"><b><i>kind ( <a href="#type_ExecutableKind">Exe
cutableKind</a> )</i></b></dt><dd> | 2114 </dd><dt class="field"><b><i>kind ( <a href="#type_ExecutableKind">Exe
cutableKind</a> )</i></b></dt><dd> |
| 2115 | 2115 |
| 2116 <p> | 2116 <p> |
| 2117 The kind of the executable file. | 2117 The kind of the executable file. |
| 2118 </p> | 2118 </p> |
| 2119 </dd></dl></dd><dt class="typeDefinition"><a name="type_ExecutableKind
">ExecutableKind: String</a></dt><dd> | 2119 </dd></dl></dd><dt class="typeDefinition"><a name="type_ExecutableKind
">ExecutableKind: String</a></dt><dd> |
| 2120 <p> | 2120 <p> |
| 2121 An enumeration of the kinds of executable files. | 2121 An enumeration of the kinds of executable files. |
| 2122 </p> | 2122 </p> |
| 2123 | 2123 |
| 2124 <dl><dt class="value">CLIENT</dt><dt class="value">EITHER</dt><dt class="v
alue">SERVER</dt></dl></dd><dt class="typeDefinition"><a name="type_ExecutionCon
textId">ExecutionContextId: String</a></dt><dd> | 2124 <dl><dt class="value">CLIENT</dt><dt class="value">EITHER</dt><dt class="v
alue">NOT_EXECUTABLE</dt><dt class="value">SERVER</dt></dl></dd><dt class="typeD
efinition"><a name="type_ExecutionContextId">ExecutionContextId: String</a></dt>
<dd> |
| 2125 | 2125 |
| 2126 <p> | 2126 <p> |
| 2127 The identifier for a execution context. | 2127 The identifier for a execution context. |
| 2128 </p> | 2128 </p> |
| 2129 </dd><dt class="typeDefinition"><a name="type_ExecutionService">ExecutionS
ervice: String</a></dt><dd> | 2129 </dd><dt class="typeDefinition"><a name="type_ExecutionService">ExecutionS
ervice: String</a></dt><dd> |
| 2130 <p> | 2130 <p> |
| 2131 An enumeration of the services provided by the execution | 2131 An enumeration of the services provided by the execution |
| 2132 domain. | 2132 domain. |
| 2133 </p> | 2133 </p> |
| 2134 | 2134 |
| (...skipping 1107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3242 <p> | 3242 <p> |
| 3243 This section contains a list of all of the errors that are | 3243 This section contains a list of all of the errors that are |
| 3244 produced by the server and the data that is returned with each. | 3244 produced by the server and the data that is returned with each. |
| 3245 </p> | 3245 </p> |
| 3246 <p> | 3246 <p> |
| 3247 TBD | 3247 TBD |
| 3248 </p> | 3248 </p> |
| 3249 | 3249 |
| 3250 | 3250 |
| 3251 </body></html> | 3251 </body></html> |
| OLD | NEW |