| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library service_ref_element; | 5 library service_ref_element; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 | 8 |
| 9 import 'package:logging/logging.dart'; | 9 import 'package:logging/logging.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| (...skipping 135 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 146 new Element.tag('library-ref'); | 146 new Element.tag('library-ref'); |
| 147 element.ref = obj; | 147 element.ref = obj; |
| 148 } | 148 } |
| 149 break; | 149 break; |
| 150 case 'Script': | 150 case 'Script': |
| 151 element = new Element.tag('script-ref'); | 151 element = new Element.tag('script-ref'); |
| 152 element.ref = obj; | 152 element.ref = obj; |
| 153 break; | 153 break; |
| 154 default: | 154 default: |
| 155 element = anyRef(obj.isolate, obj, | 155 element = anyRef(obj.isolate, obj, |
| 156 new InstanceRepository(obj.isolate), queue: app.queue); | 156 new InstanceRepository(), queue: app.queue); |
| 157 break; | 157 break; |
| 158 } | 158 } |
| 159 if (element == null) { | 159 if (element == null) { |
| 160 Logger.root.info('Unable to find a ref element for \'${ref.type}\''); | 160 Logger.root.info('Unable to find a ref element for \'${ref.type}\''); |
| 161 element = new Element.tag('span'); | 161 element = new Element.tag('span'); |
| 162 element.text = "<<Unknown service ref: $ref>>"; | 162 element.text = "<<Unknown service ref: $ref>>"; |
| 163 return; | 163 return; |
| 164 } | 164 } |
| 165 children.add(element); | 165 children.add(element); |
| 166 } | 166 } |
| 167 } | 167 } |
| OLD | NEW |