| 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 |