Index: dart/pkg/compiler/lib/src/script.dart |
diff --git a/dart/pkg/compiler/lib/src/script.dart b/dart/pkg/compiler/lib/src/script.dart |
index 9ceafb468094b622877a28b7e9c45a18487293f6..fd84fdb0e2d52c343a39c3e31865e3d1e1b6935c 100644 |
--- a/dart/pkg/compiler/lib/src/script.dart |
+++ b/dart/pkg/compiler/lib/src/script.dart |
@@ -26,4 +26,8 @@ class Script { |
String get text => (file == null) ? null : file.slowText(); |
String get name => (file == null) ? null : file.filename; |
+ |
+ Script copyWithFile(SourceFile file) { |
Johnni Winther
2014/12/19 12:17:33
Add comment.
Johnni Winther
2014/12/19 12:54:23
Maybe:
Creates a new Script with the same URIs bu
ahe
2014/12/19 13:35:45
Done.
|
+ return new Script(readableUri, resourceUri, file); |
+ } |
} |