| OLD | NEW |
| 1 <!doctype html> | 1 <!doctype html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <meta charset="UTF-8"/> | 4 <meta charset="UTF-8"/> |
| 5 <title>Analysis Server API Specification</title> | 5 <title>Analysis Server API Specification</title> |
| 6 </head> | 6 </head> |
| 7 <body> | 7 <body> |
| 8 <h1>Analysis Server API Specification</h1> | 8 <h1>Analysis Server API Specification</h1> |
| 9 <h1 style="color:#999999">Version <version>1.17.0</version></h1> | 9 <h1 style="color:#999999">Version <version>1.17.0</version></h1> |
| 10 <p> | 10 <p> |
| (...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 118 </p> | 118 </p> |
| 119 <h3>Eventual Consistency</h3> | 119 <h3>Eventual Consistency</h3> |
| 120 <p> | 120 <p> |
| 121 TODO: TBD | 121 TODO: TBD |
| 122 </p> | 122 </p> |
| 123 <h3>Domains</h3> | 123 <h3>Domains</h3> |
| 124 <p> | 124 <p> |
| 125 For convenience, the API is divided into domains. Each domain is | 125 For convenience, the API is divided into domains. Each domain is |
| 126 specified in a separate section below: | 126 specified in a separate section below: |
| 127 </p> | 127 </p> |
| 128 <ul> | 128 <toc></toc> |
| 129 <li><a href="#domain_server">Server</a></li> | |
| 130 <li><a href="#domain_analysis">Analysis</a></li> | |
| 131 <li><a href="#domain_completion">Code Completion</a></li> | |
| 132 <li><a href="#domain_search">Search</a></li> | |
| 133 <li><a href="#domain_edit">Edit</a></li> | |
| 134 <li><a href="#domain_execution">Execution</a></li> | |
| 135 </ul> | |
| 136 <p> | 129 <p> |
| 137 The specifications of the API’s refer to data structures beyond | 130 The specifications of the API’s refer to data structures beyond |
| 138 the standard JSON primitives. These data structures are | 131 the standard JSON primitives. These data structures are |
| 139 documented in the section titled <a href="#types">Types</a>. | 132 documented in the section titled <a href="#types">Types</a>. |
| 140 </p> | 133 </p> |
| 141 <p> | 134 <p> |
| 142 To get an overview of the API, you can consult the <a href="#index">index<
/a>. | 135 To get an overview of the API, you can consult the <a href="#index">index<
/a>. |
| 143 </p> | 136 </p> |
| 144 <h3>Command-line Arguments</h3> | 137 <h3>Command-line Arguments</h3> |
| 145 <p> | 138 <p> |
| (...skipping 4425 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4571 This section contains a list of all of the errors that are | 4564 This section contains a list of all of the errors that are |
| 4572 produced by the server and the data that is returned with each. | 4565 produced by the server and the data that is returned with each. |
| 4573 </p> | 4566 </p> |
| 4574 <p> | 4567 <p> |
| 4575 TODO: TBD | 4568 TODO: TBD |
| 4576 </p> | 4569 </p> |
| 4577 <h2 class="domain"><a name="index">Index</a></h2> | 4570 <h2 class="domain"><a name="index">Index</a></h2> |
| 4578 <index></index> | 4571 <index></index> |
| 4579 </body> | 4572 </body> |
| 4580 </html> | 4573 </html> |
| OLD | NEW |