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 library utils; | |
6 | |
7 import 'dart:io'; | |
8 | |
9 import 'package:pathos/path.dart' as path; | |
10 | |
11 /// Converts a `file:` [Uri] to a local path string. | |
12 String fileUriToPath(Uri uri) { | |
13 if (uri.scheme != 'file') { | |
14 throw new ArgumentError("Uri $uri must have scheme 'file:'."); | |
15 } | |
16 if (Platform.operatingSystem != 'windows') return uri.path; | |
17 if (uri.path.startsWith("/")) { | |
18 // Drive-letter paths look like "file:///C:/path/to/file". The replaceFirst | |
19 // removes the extra initial slash. | |
20 return uri.path.replaceFirst("/", "").replaceAll("/", "\\"); | |
21 } else { | |
22 // Network paths look like "file://hostname/path/to/file". | |
23 return "\\\\${uri.path.replaceAll("/", "\\")}"; | |
24 } | |
25 } | |
26 | |
27 /// Converts a local path string to a `file:` [Uri]. | |
28 Uri pathToFileUri(String pathString) { | |
29 pathString = path.absolute(pathString); | |
30 if (Platform.operatingSystem != 'windows') { | |
31 return Uri.parse('file://$pathString'); | |
32 } else if (path.rootPrefix(pathString).startsWith('\\\\')) { | |
33 // Network paths become "file://hostname/path/to/file". | |
34 return Uri.parse('file:${pathString.replaceAll("\\", "/")}'); | |
35 } else { | |
36 // Drive-letter paths become "file:///C:/path/to/file". | |
37 return Uri.parse('file:///${pathString.replaceAll("\\", "/")}'); | |
38 } | |
39 } | |
OLD | NEW |