OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 part of dart2js; | 5 library dart2js.script; |
| 6 |
| 7 import 'io/source_file.dart'; |
6 | 8 |
7 class Script { | 9 class Script { |
8 final SourceFile file; | 10 final SourceFile file; |
9 | 11 |
10 /** | 12 /** |
11 * The readable URI from which this script was loaded. | 13 * The readable URI from which this script was loaded. |
12 * | 14 * |
13 * See [LibraryLoader] for terminology on URIs. | 15 * See [LibraryLoader] for terminology on URIs. |
14 */ | 16 */ |
15 final Uri readableUri; | 17 final Uri readableUri; |
(...skipping 14 matching lines...) Expand all Loading... |
30 {this.isSynthesized: false}); | 32 {this.isSynthesized: false}); |
31 | 33 |
32 String get text => (file == null) ? null : file.slowText(); | 34 String get text => (file == null) ? null : file.slowText(); |
33 String get name => (file == null) ? null : file.filename; | 35 String get name => (file == null) ? null : file.filename; |
34 | 36 |
35 /// Creates a new [Script] with the same URIs, but new content ([file]). | 37 /// Creates a new [Script] with the same URIs, but new content ([file]). |
36 Script copyWithFile(SourceFile file) { | 38 Script copyWithFile(SourceFile file) { |
37 return new Script(readableUri, resourceUri, file); | 39 return new Script(readableUri, resourceUri, file); |
38 } | 40 } |
39 } | 41 } |
OLD | NEW |