OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 // Patch library for dart:mirrors. | 5 // Patch library for dart:mirrors. |
6 | 6 |
7 import 'dart:_js_helper' show patch; | 7 import 'dart:_js_helper' show patch; |
8 import 'dart:_js_mirrors' as js; | 8 import 'dart:_js_mirrors' as js; |
9 | 9 |
10 @patch | 10 @patch |
11 class MirrorSystem { | 11 class MirrorSystem { |
12 @patch | 12 @patch |
| 13 LibraryMirror findLibrary(Symbol libraryName) { |
| 14 return libraries.values.singleWhere( |
| 15 (library) => library.simpleName == libraryName); |
| 16 } |
| 17 |
| 18 @patch |
13 static String getName(Symbol symbol) => js.getName(symbol); | 19 static String getName(Symbol symbol) => js.getName(symbol); |
14 | 20 |
15 @patch | 21 @patch |
16 static Symbol getSymbol(String name, [LibraryMirror library]) { | 22 static Symbol getSymbol(String name, [LibraryMirror library]) { |
17 return js.getSymbol(name, library); | 23 return js.getSymbol(name, library); |
18 } | 24 } |
19 } | 25 } |
20 | 26 |
21 @patch | 27 @patch |
22 MirrorSystem currentMirrorSystem() => js.currentJsMirrorSystem; | 28 MirrorSystem currentMirrorSystem() => js.currentJsMirrorSystem; |
(...skipping 13 matching lines...) Expand all Loading... |
36 return (tm as ClassMirror).originalDeclaration; | 42 return (tm as ClassMirror).originalDeclaration; |
37 } | 43 } |
38 | 44 |
39 @patch | 45 @patch |
40 TypeMirror reflectType(Type key) { | 46 TypeMirror reflectType(Type key) { |
41 if (key == dynamic) { | 47 if (key == dynamic) { |
42 return currentMirrorSystem().dynamicType; | 48 return currentMirrorSystem().dynamicType; |
43 } | 49 } |
44 return js.reflectType(key); | 50 return js.reflectType(key); |
45 } | 51 } |
OLD | NEW |