Move getters from Options to Platform

tests/standalone/io/test_extension_fail_test.dart

Index: tests/standalone/io/test_extension_fail_test.dart
diff --git a/tests/standalone/io/test_extension_fail_test.dart b/tests/standalone/io/test_extension_fail_test.dart
index 96d0a3a542969ebda115dad3aee60b5ca86904b3..aa10592db3c32fd7e277bacc49325e1ab89e4c24 100644
--- a/tests/standalone/io/test_extension_fail_test.dart
+++ b/tests/standalone/io/test_extension_fail_test.dart
@@ -37,10 +37,8 @@ Path getExtensionPath(Path buildDirectory) {
 }
 
 void main() {
-  Options options = new Options();
-
-  Path scriptDirectory = new Path(options.script).directoryPath;
-  Path buildDirectory = new Path(options.executable).directoryPath;
+  Path scriptDirectory = new Path(Platform.script).directoryPath;
+  Path buildDirectory = new Path(Platform.executable).directoryPath;
   Directory tempDirectory = new Directory('').createTempSync();
   Path testDirectory = new Path(tempDirectory.path);
 
@@ -56,7 +54,7 @@ void main() {
     return copyFileToDirectory(testExtensionTesterFile, testDirectory);
   }).then((_) {
     Path script = testDirectory.append('test_extension_fail_tester.dart');
-    return Process.run(options.executable, [script.toNativePath()]);
+    return Process.run(Platform.executable, [script.toNativePath()]);
   }).then((ProcessResult result) {
     print("ERR: ${result.stderr}\n\n");
     print("OUT: ${result.stdout}\n\n");