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()'); |
} |
} |