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 184 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
195 <ul> | 195 <ul> |
196 <li>'\r\n' is converted to '\n';</li> | 196 <li>'\r\n' is converted to '\n';</li> |
197 <li>'\r' by itself is converted to '\n';</li> | 197 <li>'\r' by itself is converted to '\n';</li> |
198 <li>this happens regardless of the OS editor is running on.</li> | 198 <li>this happens regardless of the OS editor is running on.</li> |
199 </ul> | 199 </ul> |
200 </dd> | 200 </dd> |
201 </dl> | 201 </dl> |
202 <dl> | 202 <dl> |
203 <dt>--no-index</dt> | 203 <dt>--no-index</dt> |
204 <dd> | 204 <dd> |
205 An indication that no indexer calls will be made to the analysis server, | 205 Disable the server from generating an index. If this flag is passed and an |
206 and thus, no index should be created. If this flag is passed and an API is | 206 API is used that requires an index, then an error, <tt>NO_INDEX_GENERATED<
/tt>, |
207 used that requires an index, then an <tt>NO_INDEX_GENERATED</tt> exception | |
208 will be thrown. The set of API calls that require an index include: | 207 will be thrown. The set of API calls that require an index include: |
209 refactoring calls, code completions and searching. | 208 refactoring calls, code completions and searching. |
210 | 209 |
211 </dd> | 210 </dd> |
212 </dl> | 211 </dl> |
213 </blockquote> | 212 </blockquote> |
214 <h2 class="domain"><a name="domain_server">Domain: server</a></h2> | 213 <h2 class="domain"><a name="domain_server">Domain: server</a></h2> |
215 <p> | 214 <p> |
216 The server domain contains API’s related to the execution of | 215 The server domain contains API’s related to the execution of |
217 the server. | 216 the server. |
(...skipping 2907 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3125 </p> | 3124 </p> |
3126 </dd><dt class="value">INVALID_REQUEST</dt><dd> | 3125 </dd><dt class="value">INVALID_REQUEST</dt><dd> |
3127 | 3126 |
3128 <p> | 3127 <p> |
3129 A malformed request was received. | 3128 A malformed request was received. |
3130 </p> | 3129 </p> |
3131 </dd><dt class="value">NO_INDEX_GENERATED</dt><dd> | 3130 </dd><dt class="value">NO_INDEX_GENERATED</dt><dd> |
3132 | 3131 |
3133 <p> | 3132 <p> |
3134 The "--no-index" flag was passed when the analysis server created, | 3133 The "--no-index" flag was passed when the analysis server created, |
3135 but this API call requires an index to have been generated.
| 3134 but this API call requires an index to have been generated. |
3136 </p> | 3135 </p> |
3137 </dd><dt class="value">REFACTORING_REQUEST_CANCELLED</dt><dd> | 3136 </dd><dt class="value">REFACTORING_REQUEST_CANCELLED</dt><dd> |
3138 | 3137 |
3139 <p> | 3138 <p> |
3140 Another refactoring request was received during processing of | 3139 Another refactoring request was received during processing of |
3141 this one. | 3140 this one. |
3142 </p> | 3141 </p> |
3143 </dd><dt class="value">SERVER_ALREADY_STARTED</dt><dd> | 3142 </dd><dt class="value">SERVER_ALREADY_STARTED</dt><dd> |
3144 | 3143 |
3145 <p> | 3144 <p> |
(...skipping 598 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3744 <p> | 3743 <p> |
3745 This section contains a list of all of the errors that are | 3744 This section contains a list of all of the errors that are |
3746 produced by the server and the data that is returned with each. | 3745 produced by the server and the data that is returned with each. |
3747 </p> | 3746 </p> |
3748 <p> | 3747 <p> |
3749 TBD | 3748 TBD |
3750 </p> | 3749 </p> |
3751 | 3750 |
3752 | 3751 |
3753 </body></html> | 3752 </body></html> |
OLD | NEW |