| 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 |