| OLD | NEW |
|---|
| 1 <html> | 1 <html> |
| 2 <head> | 2 <head> |
| 3 <meta charset="UTF-8"/> | 3 <meta charset="UTF-8"/> |
| 4 <title>Analysis Server API Specification</title> | 4 <title>Analysis Server API Specification</title> |
| 5 </head> | 5 </head> |
| 6 <body> | 6 <body> |
| 7 <h1>Analysis Server API Specification</h1> | 7 <h1>Analysis Server API Specification</h1> |
| 8 <h1 style="color:#999999">Version <version>1.9.0</version></h1> | 8 <h1 style="color:#999999">Version <version>1.9.0</version></h1> |
| 9 <p> | 9 <p> |
| 10 This document contains a specification of the API provided by the | 10 This document contains a specification of the API provided by the |
| (...skipping 3036 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3047 <ref>int</ref> | 3047 <ref>int</ref> |
| 3048 <p> | 3048 <p> |
| 3049 The length of the region from which the user can navigate. | 3049 The length of the region from which the user can navigate. |
| 3050 </p> | 3050 </p> |
| 3051 </field> | 3051 </field> |
| 3052 <field name="targets"> | 3052 <field name="targets"> |
| 3053 <list><ref>int</ref></list> | 3053 <list><ref>int</ref></list> |
| 3054 <p> | 3054 <p> |
| 3055 The indexes of the targets (in the enclosing navigation response) | 3055 The indexes of the targets (in the enclosing navigation response) |
| 3056 to which the given region is bound. By opening the target, clients | 3056 to which the given region is bound. By opening the target, clients |
| 3057 can implement one form of navigation. | 3057 can implement one form of navigation. This list cannot be empty. |
| 3058 </p> | 3058 </p> |
| 3059 </field> | 3059 </field> |
| 3060 </object> | 3060 </object> |
| 3061 </type> | 3061 </type> |
| 3062 <type name="NavigationTarget"> | 3062 <type name="NavigationTarget"> |
| 3063 <p> | 3063 <p> |
| 3064 A description of a target to which the user can navigate. | 3064 A description of a target to which the user can navigate. |
| 3065 </p> | 3065 </p> |
| 3066 <object> | 3066 <object> |
| 3067 <field name="kind"> | 3067 <field name="kind"> |
| (...skipping 1172 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4240 This section contains a list of all of the errors that are | 4240 This section contains a list of all of the errors that are |
| 4241 produced by the server and the data that is returned with each. | 4241 produced by the server and the data that is returned with each. |
| 4242 </p> | 4242 </p> |
| 4243 <p> | 4243 <p> |
| 4244 TBD | 4244 TBD |
| 4245 </p> | 4245 </p> |
| 4246 <h2 class="domain"><a name="index">Index</a></h2> | 4246 <h2 class="domain"><a name="index">Index</a></h2> |
| 4247 <index /> | 4247 <index /> |
| 4248 </body> | 4248 </body> |
| 4249 </html> | 4249 </html> |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 1328273002:
Explicitly document that NavigationRegion.targets cannot be empty. (Closed)
Base URL: git@github.com:dart-lang/sdk.git@master