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