blob: 1ed7453c9214aa6b9c7fcbda40cde2d2807921ea [file] [log] [blame]
// 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.
library script_ref_element;
import 'dart:html';
import 'dart:async';
import 'package:observatory/models.dart' as M show IsolateRef, ScriptRef;
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 ScriptRefElement extends CustomElement implements Renderable {
static const tag = const Tag<ScriptRefElement>('script-ref');
RenderingScheduler _r;
Stream<RenderedEvent<ScriptRefElement>> get onRendered => _r.onRendered;
M.IsolateRef _isolate;
M.ScriptRef _script;
M.IsolateRef get isolate => _isolate;
M.ScriptRef get script => _script;
factory ScriptRefElement(M.IsolateRef isolate, M.ScriptRef script,
{RenderingQueue queue}) {
assert(isolate != null);
assert(script != null);
ScriptRefElement e = new ScriptRefElement.created();
e._r = new RenderingScheduler<ScriptRefElement>(e, queue: queue);
e._isolate = isolate;
e._script = script;
return e;
}
ScriptRefElement.created() : super.created(tag);
@override
void attached() {
super.attached();
_r.enable();
}
@override
void detached() {
super.detached();
children = <Element>[];
_r.disable(notify: true);
}
void render() {
children = <Element>[
new AnchorElement(href: Uris.inspect(isolate, object: script))
..title = script.uri
..text = script.uri.split('/').last
];
}
}