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:convert'; | 6 import 'dart:convert'; |
7 | 7 |
8 import 'dart:mirrors'; | 8 import 'dart:mirrors'; |
9 | 9 |
10 import '../../../libraries.dart' | 10 import '../../../libraries.dart' |
(...skipping 81 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
92 // This file is generated by jsonify.dart. | 92 // This file is generated by jsonify.dart. |
93 | 93 |
94 library dart.sdk_sources; | 94 library dart.sdk_sources; |
95 | 95 |
96 const Map<String, String> SDK_SOURCES = const <String, String>'''); | 96 const Map<String, String> SDK_SOURCES = const <String, String>'''); |
97 output.writeStringSync(JSON.encode(map).replaceAll(r'$', r'\$')); | 97 output.writeStringSync(JSON.encode(map).replaceAll(r'$', r'\$')); |
98 output.writeStringSync(';\n'); | 98 output.writeStringSync(';\n'); |
99 } | 99 } |
100 output.closeSync(); | 100 output.closeSync(); |
101 } | 101 } |
OLD | NEW |