| // Copyright (c) 2013, 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/models.dart' as M show IsolateRef, ObjectPoolRef; |
| import 'package:observatory/src/elements/helpers/rendering_scheduler.dart'; |
| import 'package:observatory/src/elements/helpers/tag.dart'; |
| import 'package:observatory/src/elements/helpers/uris.dart'; |
| |
| class ObjectPoolRefElement extends CustomElement implements Renderable { |
| static const tag = const Tag<ObjectPoolRefElement>('object-pool-ref'); |
| |
| RenderingScheduler<ObjectPoolRefElement> _r; |
| |
| Stream<RenderedEvent<ObjectPoolRefElement>> get onRendered => _r.onRendered; |
| |
| M.IsolateRef _isolate; |
| M.ObjectPoolRef _pool; |
| |
| M.IsolateRef get isolate => _isolate; |
| M.ObjectPoolRef get pool => _pool; |
| |
| factory ObjectPoolRefElement(M.IsolateRef isolate, M.ObjectPoolRef pool, |
| {RenderingQueue queue}) { |
| assert(isolate != null); |
| assert(pool != null); |
| ObjectPoolRefElement e = new ObjectPoolRefElement.created(); |
| e._r = new RenderingScheduler<ObjectPoolRefElement>(e, queue: queue); |
| e._isolate = isolate; |
| e._pool = pool; |
| return e; |
| } |
| |
| ObjectPoolRefElement.created() : super.created(tag); |
| |
| @override |
| void attached() { |
| super.attached(); |
| _r.enable(); |
| } |
| |
| @override |
| void detached() { |
| super.detached(); |
| _r.disable(notify: true); |
| children = <Element>[]; |
| } |
| |
| void render() { |
| children = <Element>[ |
| new AnchorElement(href: Uris.inspect(_isolate, object: _pool)) |
| ..children = <Element>[ |
| new SpanElement() |
| ..classes = ['emphasize'] |
| ..text = 'ObjectPool', |
| new SpanElement()..text = ' (${_pool.length})' |
| ] |
| ]; |
| } |
| } |