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 |