Index: runtime/bin/platform.dart |
diff --git a/runtime/bin/platform.dart b/runtime/bin/platform.dart |
index 4cb3a27d19842f8edfb9e2b7b6ca2684df3cc3b6..4152dc369fd314564bd4b1f9126f26a16ad87d08 100644 |
--- a/runtime/bin/platform.dart |
+++ b/runtime/bin/platform.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. |
@@ -6,36 +6,31 @@ |
* The [Platform] class exposes details of the machine and operating |
* system. |
*/ |
-interface Platform default _Platform { |
- /** |
- * Create a Platform object. |
- */ |
- Platform(); |
- |
+class Platform { |
/** |
* Get the number of processors of the machine. |
*/ |
- int numberOfProcessors(); |
+ static int numberOfProcessors() => _Platform.numberOfProcessors(); |
/** |
* Get the path separator used by the operating system to separate |
* components in file paths. |
*/ |
- String pathSeparator(); |
+ static String pathSeparator() => _Platform.pathSeparator(); |
/** |
* Get a string ('macos', 'windows', 'linux') representing the |
* operating system. |
*/ |
- String operatingSystem(); |
+ static String operatingSystem() => _Platform.operatingSystem(); |
/** |
* Get the local hostname for the system. |
*/ |
- String localHostname(); |
+ static String localHostname() => _Platform.localHostname(); |
/** |
* Get the environment for this process. |
*/ |
- Map<String, String> environment(); |
+ static Map<String, String> environment() => _Platform.environment(); |
} |