| Index: runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| diff --git a/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart b/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| deleted file mode 100644
|
| index ca2eba8d2898bde3ff74b6f742bc35e323e9f75e..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| +++ /dev/null
|
| @@ -1,66 +0,0 @@
|
| -// 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 'package:polymer/polymer.dart';
|
| -import 'package:observatory/service.dart';
|
| -import 'service_ref.dart';
|
| -
|
| -@CustomTag('script-ref')
|
| -class ScriptRefElement extends ServiceRefElement {
|
| - @published int pos = -1;
|
| -
|
| - String get hoverText {
|
| - if (ref == null) {
|
| - return super.hoverText;
|
| - }
|
| - return ref.vmName;
|
| - }
|
| -
|
| - void posChanged(oldValue) {
|
| - _updateProperties(null);
|
| - }
|
| -
|
| - void _updateProperties(_) {
|
| - if (ref != null && ref.loaded) {
|
| - notifyPropertyChange(#name, 0, 1);
|
| - notifyPropertyChange(#url, 0, 1);
|
| - }
|
| - }
|
| -
|
| - String get name {
|
| - if (ref == null) {
|
| - return super.name;
|
| - }
|
| - if (pos >= 0) {
|
| - if (ref.loaded) {
|
| - // Script is loaded, get the line number.
|
| - Script script = ref;
|
| - return '${super.name}:${script.tokenToLine(pos)}';
|
| - } else {
|
| - ref.load().then(_updateProperties);
|
| - }
|
| - }
|
| - return super.name;
|
| - }
|
| -
|
| - String get url {
|
| - if (ref == null) {
|
| - return super.url;
|
| - }
|
| - if (pos >= 0) {
|
| - if (ref.loaded) {
|
| - // Script is loaded, get the line number.
|
| - Script script = ref;
|
| - return '${super.url}---pos=${pos}';
|
| - } else {
|
| - ref.load().then(_updateProperties);
|
| - }
|
| - }
|
| - return super.url;
|
| - }
|
| -
|
| - ScriptRefElement.created() : super.created();
|
| -}
|
|
|