Move getters from Options to Platform

sdk/lib/io/platform_impl.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;
 
 class _Platform {
   external static int _numberOfProcessors();
   external static String _pathSeparator();
   external static String _operatingSystem();
   external static _localHostname();
   external static _environment();
+  external static String _version();
 
-  static int get numberOfProcessors {
-    return _numberOfProcessors();
-  }
-
-  static String get pathSeparator {
-    return _pathSeparator();
-  }
-
-  static String get operatingSystem {
-    return _operatingSystem();
-  }
+  static int get numberOfProcessors => _numberOfProcessors();
+  static String get pathSeparator => _pathSeparator();
+  static String get operatingSystem => _operatingSystem();
 
   static String get localHostname {
     var result = _localHostname();
     if (result is OSError) {
       throw result;
     } else {
       return result;
     }
   }
 
@@ skipping 15 matching lines @@
         var equalsIndex = str.indexOf('=');
         if (equalsIndex == 0) {
           equalsIndex = str.indexOf('=', 1);
         }
         assert(equalsIndex != -1);
         result[str.substring(0, equalsIndex)] = str.substring(equalsIndex + 1);
       }
       return result;
     }
   }
+
+  static String get version => _version();
 }
 
 // Environment variables are case-insensitive on Windows. In order
 // to reflect that we use a case-insensitive string map on Windows.
 class _CaseInsensitiveStringMap<V> implements Map<String, V> {
   _CaseInsensitiveStringMap() : _map = new Map<String, V>();
 
   _CaseInsensitiveStringMap.from(Map<String, V> other)
       : _map = new Map<String, V>() {
     other.forEach((String key, V value) {
@@ skipping 17 matching lines @@
   void clear() => _map.clear();
   void forEach(void f(String key, V value)) => _map.forEach(f);
   Iterable<String> get keys => _map.keys;
   Iterable<V> get values => _map.values;
   int get length => _map.length;
   bool get isEmpty => _map.isEmpty;
   bool get isNotEmpty => _map.isNotEmpty;
 
   Map<String, V> _map;
 }