| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of dart.io; | 5 part of dart.io; |
| 6 | 6 |
| 7 class _Platform { | 7 class _Platform { |
| 8 external static int _numberOfProcessors(); | 8 external static int _numberOfProcessors(); |
| 9 external static String _pathSeparator(); | 9 external static String _pathSeparator(); |
| 10 external static String _operatingSystem(); | 10 external static String _operatingSystem(); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 21 // Cache the OS environemnt. This can be an OSError instance if | 21 // Cache the OS environemnt. This can be an OSError instance if |
| 22 // retrieving the environment failed. | 22 // retrieving the environment failed. |
| 23 static var _environmentCache; | 23 static var _environmentCache; |
| 24 | 24 |
| 25 static int get numberOfProcessors => _numberOfProcessors(); | 25 static int get numberOfProcessors => _numberOfProcessors(); |
| 26 static String get pathSeparator => _pathSeparator(); | 26 static String get pathSeparator => _pathSeparator(); |
| 27 static String get operatingSystem => _operatingSystem(); | 27 static String get operatingSystem => _operatingSystem(); |
| 28 static Uri script; | 28 static Uri script; |
| 29 | 29 |
| 30 // This script singleton is written to by the embedder if applicable. | 30 // This script singleton is written to by the embedder if applicable. |
| 31 static String set _nativeScript(String path) { | 31 static void set _nativeScript(String path) { |
| 32 if (path.startsWith('http:') || | 32 if (path.startsWith('http:') || |
| 33 path.startsWith('https:') || | 33 path.startsWith('https:') || |
| 34 path.startsWith('file:')) { | 34 path.startsWith('file:')) { |
| 35 script = Uri.parse(path); | 35 script = Uri.parse(path); |
| 36 } else { | 36 } else { |
| 37 script = Uri.base.resolveUri(new Uri.file(path)); | 37 script = Uri.base.resolveUri(new Uri.file(path)); |
| 38 } | 38 } |
| 39 } | 39 } |
| 40 | 40 |
| 41 static String get localHostname { | 41 static String get localHostname { |
| (...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 107 V remove(String key) => _map.remove(key.toUpperCase()); | 107 V remove(String key) => _map.remove(key.toUpperCase()); |
| 108 void clear() => _map.clear(); | 108 void clear() => _map.clear(); |
| 109 void forEach(void f(String key, V value)) => _map.forEach(f); | 109 void forEach(void f(String key, V value)) => _map.forEach(f); |
| 110 Iterable<String> get keys => _map.keys; | 110 Iterable<String> get keys => _map.keys; |
| 111 Iterable<V> get values => _map.values; | 111 Iterable<V> get values => _map.values; |
| 112 int get length => _map.length; | 112 int get length => _map.length; |
| 113 bool get isEmpty => _map.isEmpty; | 113 bool get isEmpty => _map.isEmpty; |
| 114 bool get isNotEmpty => _map.isNotEmpty; | 114 bool get isNotEmpty => _map.isNotEmpty; |
| 115 String toString() => _map.toString(); | 115 String toString() => _map.toString(); |
| 116 } | 116 } |
| OLD | NEW |