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 |