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 30 matching lines...) Expand all Loading... |
41 static String get pathSeparator => _pathSeparator(); | 41 static String get pathSeparator => _pathSeparator(); |
42 static String get operatingSystem => _operatingSystem(); | 42 static String get operatingSystem => _operatingSystem(); |
43 static Uri script; | 43 static Uri script; |
44 | 44 |
45 // This script singleton is written to by the embedder if applicable. | 45 // This script singleton is written to by the embedder if applicable. |
46 static void set _nativeScript(String path) { | 46 static void set _nativeScript(String path) { |
47 if (path.startsWith('http:') || | 47 if (path.startsWith('http:') || |
48 path.startsWith('https:') || | 48 path.startsWith('https:') || |
49 path.startsWith('package:') || | 49 path.startsWith('package:') || |
50 path.startsWith('dart:') || | 50 path.startsWith('dart:') || |
| 51 path.startsWith('data:') || |
51 path.startsWith('file:')) { | 52 path.startsWith('file:')) { |
52 script = Uri.parse(path); | 53 script = Uri.parse(path); |
53 } else { | 54 } else { |
54 script = Uri.base.resolveUri(new Uri.file(path)); | 55 script = Uri.base.resolveUri(new Uri.file(path)); |
55 } | 56 } |
56 } | 57 } |
57 | 58 |
58 static String get localHostname { | 59 static String get localHostname { |
59 var result = _localHostname(); | 60 var result = _localHostname(); |
60 if (result is OSError) { | 61 if (result is OSError) { |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
120 V remove(String key) => _map.remove(key.toUpperCase()); | 121 V remove(String key) => _map.remove(key.toUpperCase()); |
121 void clear() => _map.clear(); | 122 void clear() => _map.clear(); |
122 void forEach(void f(String key, V value)) => _map.forEach(f); | 123 void forEach(void f(String key, V value)) => _map.forEach(f); |
123 Iterable<String> get keys => _map.keys; | 124 Iterable<String> get keys => _map.keys; |
124 Iterable<V> get values => _map.values; | 125 Iterable<V> get values => _map.values; |
125 int get length => _map.length; | 126 int get length => _map.length; |
126 bool get isEmpty => _map.isEmpty; | 127 bool get isEmpty => _map.isEmpty; |
127 bool get isNotEmpty => _map.isNotEmpty; | 128 bool get isNotEmpty => _map.isNotEmpty; |
128 String toString() => _map.toString(); | 129 String toString() => _map.toString(); |
129 } | 130 } |
OLD | NEW |