| // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | |
| // for details. All rights reserved. Use of this source code is governed by a | |
| // BSD-style license that can be found in the LICENSE file. | |
| library general_error_element; | |
| import 'dart:async'; | |
| import 'package:web/web.dart'; | |
| import '../../models.dart' as M; | |
| import 'helpers/custom_element.dart'; | |
| import 'helpers/element_utils.dart'; | |
| import 'helpers/nav_bar.dart'; | |
| import 'helpers/rendering_scheduler.dart'; | |
| import 'nav/notify.dart'; | |
| import 'nav/top_menu.dart'; | |
| class GeneralErrorElement extends CustomElement implements Renderable { | |
| late RenderingScheduler<GeneralErrorElement> _r; | |
| Stream<RenderedEvent<GeneralErrorElement>> get onRendered => _r.onRendered; | |
| late M.NotificationRepository _notifications; | |
| late String _message; | |
| String get message => _message; | |
| set message(String value) => _message = _r.checkAndReact(_message, value); | |
| factory GeneralErrorElement( | |
| M.NotificationRepository notifications, { | |
| String message = '', | |
| RenderingQueue? queue, | |
| }) { | |
| GeneralErrorElement e = new GeneralErrorElement.created(); | |
| e._r = new RenderingScheduler<GeneralErrorElement>(e, queue: queue); | |
| e._message = message; | |
| e._notifications = notifications; | |
| return e; | |
| } | |
| GeneralErrorElement.created() : super.created('general-error'); | |
| @override | |
| void attached() { | |
| super.attached(); | |
| _r.enable(); | |
| } | |
| @override | |
| void detached() { | |
| super.detached(); | |
| removeChildren(); | |
| _r.disable(notify: true); | |
| } | |
| void render() { | |
| setChildren(<HTMLElement>[ | |
| navBar(<HTMLElement>[ | |
| new NavTopMenuElement(queue: _r.queue).element, | |
| new NavNotifyElement(_notifications, queue: _r.queue).element, | |
| ]), | |
| new HTMLDivElement() | |
| ..className = 'content-centered' | |
| ..appendChildren(<HTMLElement>[ | |
| new HTMLHeadingElement.h1()..textContent = 'Error', | |
| new HTMLBRElement(), | |
| new HTMLDivElement() | |
| ..className = 'well' | |
| ..textContent = message, | |
| ]), | |
| ]); | |
| } | |
| } |