| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | |
| 2 // for details. All rights reserved. Use of this source code is governed by a | |
| 3 // BSD-style license that can be found in the LICENSE file. | |
| 4 | |
| 5 patch int get numberOfProcessors => _platform.numberOfProcessors; | |
| 6 | |
| 7 patch String get pathSeparator => _platform.pathSeparator; | |
| 8 | |
| 9 patch String get operatingSystem => _platform.operatingSystem; | |
| 10 | |
| 11 patch String get localHostname => _platform.localHostname; | |
| 12 | |
| 13 patch String get version => _platform.version; | |
| 14 | |
| 15 patch Map<String, String> get environment => _platform.environment; | |
| 16 | |
| 17 patch String get executable => _platform.executable; | |
| 18 | |
| 19 patch Uri get script => _platform.script; | |
| 20 | |
| 21 patch List<String> get executableArguments => _platform.executableArguments; | |
| 22 | |
| 23 patch String get packageRoot => _platform.packageRoot; | |
| 24 | |
| 25 class _Platform { | |
| 26 int get numberOfProcessors; | |
| 27 String get pathSeparator; | |
| 28 String get operatingSystem; | |
| 29 String get localHostname; | |
| 30 String get version; | |
| 31 Map get environment; | |
| 32 Uri get script; | |
| 33 String get executable; | |
| 34 List<String> get executableArguments; | |
| 35 String get packageRoot; | |
| 36 } | |
| 37 | |
| 38 // A non-default _Platform, with real values, is stored here by the embedder. | |
| 39 _Platform _platform = new _DefaultPlatform(); | |
| 40 | |
| 41 class _DefaultPlatform implements _Platform { | |
| 42 int get numberOfProcessors { | |
| 43 return null; | |
| 44 } | |
| 45 | |
| 46 String get pathSeparator { | |
| 47 return null; | |
| 48 } | |
| 49 | |
| 50 String get operatingSystem { | |
| 51 return null; | |
| 52 } | |
| 53 | |
| 54 String get localHostname { | |
| 55 return null; | |
| 56 } | |
| 57 | |
| 58 String get version { | |
| 59 return null; | |
| 60 } | |
| 61 | |
| 62 Map get environment { | |
| 63 return null; | |
| 64 } | |
| 65 | |
| 66 Uri get script { | |
| 67 return null; | |
| 68 } | |
| 69 | |
| 70 String get executable { | |
| 71 return null; | |
| 72 } | |
| 73 | |
| 74 List<String> get executableArguments { | |
| 75 return new List<String>(0); | |
| 76 } | |
| 77 | |
| 78 String get packageRoot { | |
| 79 return null; | |
| 80 } | |
| 81 } | |
| OLD | NEW |