| 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 library source_file_provider; | 5 library source_file_provider; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:uri'; | 8 import 'dart:uri'; |
| 9 import 'dart:io'; | 9 import 'dart:io'; |
| 10 import 'dart:utf'; | 10 import 'dart:utf'; |
| 11 | 11 |
| 12 import '../compiler.dart' as api show Diagnostic; | 12 import '../compiler.dart' as api show Diagnostic; |
| 13 import 'dart2js.dart' show AbortLeg; | 13 import 'dart2js.dart' show AbortLeg; |
| 14 import 'colors.dart' as colors; | 14 import 'colors.dart' as colors; |
| 15 import 'source_file.dart'; | 15 import 'source_file.dart'; |
| 16 import 'filenames.dart'; | 16 import 'filenames.dart'; |
| 17 import 'util/uri_extras.dart'; | 17 import 'util/uri_extras.dart'; |
| 18 | 18 |
| 19 String readAll(String filename) { | 19 String readAll(String filename) { |
| 20 var file = (new File(filename)).openSync(FileMode.READ); | 20 var file = (new File(filename)).openSync(FileMode.READ); |
| 21 var length = file.lengthSync(); | 21 var length = file.lengthSync(); |
| 22 var buffer = new List<int>.fixedLength(length); | 22 var buffer = new List<int>(length); |
| 23 var bytes = file.readListSync(buffer, 0, length); | 23 var bytes = file.readListSync(buffer, 0, length); |
| 24 file.closeSync(); | 24 file.closeSync(); |
| 25 return new String.fromCharCodes(new Utf8Decoder(buffer).decodeRest()); | 25 return new String.fromCharCodes(new Utf8Decoder(buffer).decodeRest()); |
| 26 } | 26 } |
| 27 | 27 |
| 28 class SourceFileProvider { | 28 class SourceFileProvider { |
| 29 bool isWindows = (Platform.operatingSystem == 'windows'); | 29 bool isWindows = (Platform.operatingSystem == 'windows'); |
| 30 Uri cwd = getCurrentDirectory(); | 30 Uri cwd = getCurrentDirectory(); |
| 31 Map<String, SourceFile> sourceFiles = <String, SourceFile>{}; | 31 Map<String, SourceFile> sourceFiles = <String, SourceFile>{}; |
| 32 int dartCharactersRead = 0; | 32 int dartCharactersRead = 0; |
| (...skipping 83 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 116 print(file.getLocationMessage(color(message), begin, end, true, color)); | 116 print(file.getLocationMessage(color(message), begin, end, true, color)); |
| 117 } | 117 } |
| 118 if (fatal && throwOnError) { | 118 if (fatal && throwOnError) { |
| 119 isAborting = true; | 119 isAborting = true; |
| 120 throw new AbortLeg(message); | 120 throw new AbortLeg(message); |
| 121 } | 121 } |
| 122 } | 122 } |
| 123 } | 123 } |
| 124 | 124 |
| 125 | 125 |
| OLD | NEW |