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 import 'dart:io'; | 5 import 'dart:io'; |
6 import 'dart:json'; | 6 import 'dart:convert'; |
7 | 7 |
8 // TODO(ahe): Should be dart:mirrors. | 8 // TODO(ahe): Should be dart:mirrors. |
9 import '../../implementation/mirrors/mirrors.dart'; | 9 import '../../implementation/mirrors/mirrors.dart'; |
10 | 10 |
11 import '../../../libraries.dart' | 11 import '../../../libraries.dart' |
12 show LIBRARIES, LibraryInfo; | 12 show LIBRARIES, LibraryInfo; |
13 | 13 |
14 import '../../implementation/mirrors/dart2js_mirror.dart' | 14 import '../../implementation/mirrors/dart2js_mirror.dart' |
15 show analyze, BackDoor; | 15 show analyze, BackDoor; |
16 | 16 |
(...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
85 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 85 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
86 // for details. All rights reserved. Use of this source code is governed by a | 86 // for details. All rights reserved. Use of this source code is governed by a |
87 // BSD-style license that can be found in the LICENSE file. | 87 // BSD-style license that can be found in the LICENSE file. |
88 | 88 |
89 // DO NOT EDIT. | 89 // DO NOT EDIT. |
90 // This file is generated by jsonify.dart. | 90 // This file is generated by jsonify.dart. |
91 | 91 |
92 library dart.sdk_sources; | 92 library dart.sdk_sources; |
93 | 93 |
94 const Map<String, String> SDK_SOURCES = const <String, String>'''); | 94 const Map<String, String> SDK_SOURCES = const <String, String>'''); |
95 output.writeStringSync(stringify(map).replaceAll(r'$', r'\$')); | 95 output.writeStringSync(JSON.encode(map).replaceAll(r'$', r'\$')); |
96 output.writeStringSync(';\n'); | 96 output.writeStringSync(';\n'); |
97 output.closeSync(); | 97 output.closeSync(); |
98 } | 98 } |
OLD | NEW |