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) { | 13 LibraryMirror findLibrary(Symbol libraryName) { |
14 return libraries.values.singleWhere( | 14 return libraries.values |
15 (library) => library.simpleName == libraryName); | 15 .singleWhere((library) => library.simpleName == libraryName); |
16 } | 16 } |
17 | 17 |
18 @patch | 18 @patch |
19 static String getName(Symbol symbol) => js.getName(symbol); | 19 static String getName(Symbol symbol) => js.getName(symbol); |
20 | 20 |
21 @patch | 21 @patch |
22 static Symbol getSymbol(String name, [LibraryMirror library]) { | 22 static Symbol getSymbol(String name, [LibraryMirror library]) { |
23 return js.getSymbol(name, library); | 23 return js.getSymbol(name, library); |
24 } | 24 } |
25 } | 25 } |
(...skipping 16 matching lines...) Expand all Loading... |
42 return (tm as ClassMirror).originalDeclaration; | 42 return (tm as ClassMirror).originalDeclaration; |
43 } | 43 } |
44 | 44 |
45 @patch | 45 @patch |
46 TypeMirror reflectType(Type key) { | 46 TypeMirror reflectType(Type key) { |
47 if (key == dynamic) { | 47 if (key == dynamic) { |
48 return currentMirrorSystem().dynamicType; | 48 return currentMirrorSystem().dynamicType; |
49 } | 49 } |
50 return js.reflectType(key); | 50 return js.reflectType(key); |
51 } | 51 } |
OLD | NEW |