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