Add script attribute to Options class, providing the name of the running script.

corelib/src/implementation/options.dart

Index: corelib/src/implementation/options.dart
diff --git a/corelib/src/implementation/options.dart b/corelib/src/implementation/options.dart
index 2d81762d01a5ebe6fa506da645a9cc94206109ac..00169ca973dd83fa155ca6b39b921829727393eb 100644
--- a/corelib/src/implementation/options.dart
+++ b/corelib/src/implementation/options.dart
@@ -11,8 +11,14 @@ class RuntimeOptions implements Options {
     return _arguments;
   }
 
+  String get script() {
+    return _nativeScript;
+  }
+
   List<String> _arguments = null;
 
   // This arguments singleton is overriden by the embedder if applicable.

[Mads Ager (google), 2012/01/20 11:38:03]

overridden?

[Bill Hesse, 2012/01/20 16:05:58]

written, written to.

   static List<String> _nativeArguments = const [];
+
+  static String _nativeScript = null;

[Mads Ager (google), 2012/01/20 11:38:03]

Add a comment similar to the one above that this is overridden by the embedder?

 }