| Index: pkg/analysis_server/tool/spec/from_html.dart
|
| diff --git a/pkg/analysis_server/tool/spec/from_html.dart b/pkg/analysis_server/tool/spec/from_html.dart
|
| index db7c224aa78ceb0e0eeb14b786014a868c1dc607..70c5a44378efc8856ba5a07915f145bc8588cea0 100644
|
| --- a/pkg/analysis_server/tool/spec/from_html.dart
|
| +++ b/pkg/analysis_server/tool/spec/from_html.dart
|
| @@ -138,8 +138,9 @@ void checkName(dom.Element element, String expectedName, [String context]) {
|
| Domain domainFromHtml(dom.Element html) {
|
| checkName(html, 'domain');
|
| String name = html.attributes['name'];
|
| - String context = name != null ? name : 'domain';
|
| - checkAttributes(html, ['name'], context);
|
| + String context = name ?? 'domain';
|
| + bool experimental = html.attributes['experimental'] == 'true';
|
| + checkAttributes(html, ['name'], context, optionalAttributes: ['experimental']);
|
| List<Request> requests = <Request>[];
|
| List<Notification> notifications = <Notification>[];
|
| recurse(html, context, {
|
| @@ -150,7 +151,7 @@ Domain domainFromHtml(dom.Element html) {
|
| notifications.add(notificationFromHtml(child, context));
|
| }
|
| });
|
| - return new Domain(name, requests, notifications, html);
|
| + return new Domain(name, experimental, requests, notifications, html);
|
| }
|
|
|
| dom.Element getAncestor(dom.Element html, String name, String context) {
|
|
|