| Index: lib/compiler/implementation/lib/io.dart
|
| diff --git a/lib/compiler/implementation/lib/io.dart b/lib/compiler/implementation/lib/io.dart
|
| index e974badfcb293aacda3c4943f51fd3bb15f5a847..19f8ef8bf8dcd774237675bd0d090dcd059ce5ac 100644
|
| --- a/lib/compiler/implementation/lib/io.dart
|
| +++ b/lib/compiler/implementation/lib/io.dart
|
| @@ -59,8 +59,24 @@ class _File {
|
| }
|
|
|
| class _Platform {
|
| - factory Platform() {
|
| - throw new UnsupportedOperationException('new Platform()');
|
| + static int numberOfProcessors() {
|
| + throw new UnsupportedOperationException('_Platform.numberOfProcessors()');
|
| + }
|
| +
|
| + static String pathSeparator() {
|
| + throw new UnsupportedOperationException('_Platform.pathSeparator()');
|
| + }
|
| +
|
| + static String operatingSystem() {
|
| + throw new UnsupportedOperationException('_Platform.operatingSystem()');
|
| + }
|
| +
|
| + static String localHostname() {
|
| + throw new UnsupportedOperationException('_Platform.localHostname()');
|
| + }
|
| +
|
| + static Map<String, String> environment() {
|
| + throw new UnsupportedOperationException('_Platform.environment()');
|
| }
|
| }
|
|
|
|
|