Add executable to Options interface to get the name of the executable used to execute the 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 b1f32ea13985e1d415cc3e51e8487eaa2cca6c55..0dd65c703b0ddd0e27a08282948be5dd6fbdaa37 100644
--- a/corelib/src/implementation/options.dart
+++ b/corelib/src/implementation/options.dart
@@ -1,4 +1,4 @@
-// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
+// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
@@ -11,6 +11,10 @@ class RuntimeOptions implements Options {
     return _arguments;
   }
 
+  String get executable() {
+    return _nativeExecutable;
+  }
+
   String get script() {
     return _nativeScript;
   }
@@ -20,6 +24,9 @@ class RuntimeOptions implements Options {
   // This arguments singleton is written to by the embedder if applicable.
   static List<String> _nativeArguments = const [];
 
+  // This executable singleton is written to by the embedder if applicable.
+  static String _nativeExecutable = null;

[Ivan Posva, 2012/05/07 17:40:36]

null or ""? See _nativeArguments above. When accessed they will not give you a
null access.

[Mads Ager (google), 2012/05/08 06:39:04]

Done.

+
   // This script singleton is written to by the embedder if applicable.
   static String _nativeScript = null;

[Ivan Posva, 2012/05/07 17:40:36]

ditto.

[Mads Ager (google), 2012/05/08 06:39:04]

Done.

 }