runtime/observatory_2/lib/src/elements/nav/library_menu.dart

// 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.

import 'dart:html';
import 'dart:async';
import 'package:observatory_2/models.dart' as M show IsolateRef, LibraryRef;
import 'package:observatory_2/src/elements/helpers/nav_menu.dart';
import 'package:observatory_2/src/elements/helpers/rendering_scheduler.dart';
import 'package:observatory_2/src/elements/helpers/custom_element.dart';
import 'package:observatory_2/src/elements/helpers/uris.dart';

class NavLibraryMenuElement extends CustomElement implements Renderable {
  RenderingScheduler<NavLibraryMenuElement> _r;

  Stream<RenderedEvent<NavLibraryMenuElement>> get onRendered => _r.onRendered;

  M.IsolateRef _isolate;
  M.LibraryRef _library;
  Iterable<Element> _content = const [];

  M.IsolateRef get isolate => _isolate;
  M.LibraryRef get library => _library;
  Iterable<Element> get content => _content;

  set content(Iterable<Element> value) {
    _content = value.toList();
    _r.dirty();
  }

  factory NavLibraryMenuElement(M.IsolateRef isolate, M.LibraryRef library,
      {RenderingQueue queue}) {
    assert(isolate != null);
    assert(library != null);
    NavLibraryMenuElement e = new NavLibraryMenuElement.created();
    e._r = new RenderingScheduler<NavLibraryMenuElement>(e, queue: queue);
    e._isolate = isolate;
    e._library = library;
    return e;
  }

  NavLibraryMenuElement.created() : super.created('nav-library-menu');

  @override
  void attached() {
    super.attached();
    _r.enable();
  }

  @override
  void detached() {
    super.detached();
    children = <Element>[];
    _r.disable(notify: true);
  }

  void render() {
    children = <Element>[
      navMenu(library.name,
          content: _content,
          link: Uris.inspect(isolate, object: library).toString())
    ];
  }
}