Move getters from Options to Platform

sdk/lib/io/platform.dart

 // 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.
 
 part of dart.io;
 
 /**
  * The [Platform] class exposes details of the machine and operating
  * system.
  */
 class Platform {
   static final _numberOfProcessors = _Platform.numberOfProcessors;
   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.
    */
   static int get numberOfProcessors => _numberOfProcessors;
 
   /**
    * Get the path separator used by the operating system to separate
    * components in file paths.
    */
@@ skipping 32 matching lines @@
 
   /**
    * Get the environment for this process.
    *
    * Environment variables on Windows are case-insensitive. The map
    * returned on Windows is therefore case-insensitive and will convert
    * all keys to upper case. On other platforms the returned map is
    * 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;
 }