Move getters from Options to Platform

sdk/lib/io/platform.dart

Index: sdk/lib/io/platform.dart
diff --git a/sdk/lib/io/platform.dart b/sdk/lib/io/platform.dart
index bdb56b856d9d90c70dc13d89b6df548b96762640..90fe65a2dd62b55c0b45d62529346da304cbd2dc 100644
--- a/sdk/lib/io/platform.dart
+++ b/sdk/lib/io/platform.dart
@@ -13,6 +13,13 @@ class Platform {
   static final _pathSeparator = _Platform.pathSeparator;
   static final _operatingSystem = _Platform.operatingSystem;
   static final _localHostname = _Platform.localHostname;
+  static final _version = _Platform.version;
+
+  // This executable singleton is written to by the embedder if applicable.
+  static String _nativeExecutable = '';
+
+  // This script singleton is written to by the embedder if applicable.
+  static String _nativeScript = '';
 
   /**
    * Get the number of processors of the machine.
@@ -65,4 +72,27 @@ class Platform {
    * a standard case-sensitive map.
    */
   static Map<String, String> get environment => _Platform.environment;
+
+  /**
+   * Returns the path of the executable used to run the script in this
+   * isolate.
+   *
+   * If the execution environment does not support [executable] an empty
+   * string is returned.
+   */
+  static String get executable => _nativeExecutable;
+
+  /**
+   * Returns the path of the script being run in this isolate.
+   *
+   * If the executable environment does not support [script] an empty
+   * string is returned.
+   */
+  static String get script => _nativeScript;
+
+
+  /**
+   * Returns the version of the current Dart runtime.
+   */
+  static String get version => _version;
 }