Index: mojo/public/dart/third_party/path/lib/src/style/windows.dart |
diff --git a/mojo/public/dart/third_party/path/lib/src/style/windows.dart b/mojo/public/dart/third_party/path/lib/src/style/windows.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..f38efa52537ddecd65c6c92db1a3f47a179c1581 |
--- /dev/null |
+++ b/mojo/public/dart/third_party/path/lib/src/style/windows.dart |
@@ -0,0 +1,125 @@ |
+// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
+library path.style.windows; |
+ |
+import '../characters.dart' as chars; |
+import '../internal_style.dart'; |
+import '../parsed_path.dart'; |
+import '../utils.dart'; |
+ |
+/// The style for Windows paths. |
+class WindowsStyle extends InternalStyle { |
+ WindowsStyle(); |
+ |
+ final name = 'windows'; |
+ final separator = '\\'; |
+ final separators = const ['/', '\\']; |
+ |
+ // Deprecated properties. |
+ |
+ final separatorPattern = new RegExp(r'[/\\]'); |
+ final needsSeparatorPattern = new RegExp(r'[^/\\]$'); |
+ final rootPattern = new RegExp(r'^(\\\\[^\\]+\\[^\\/]+|[a-zA-Z]:[/\\])'); |
+ final relativeRootPattern = new RegExp(r"^[/\\](?![/\\])"); |
+ |
+ bool containsSeparator(String path) => path.contains('/'); |
+ |
+ bool isSeparator(int codeUnit) => |
+ codeUnit == chars.SLASH || codeUnit == chars.BACKSLASH; |
+ |
+ bool needsSeparator(String path) { |
+ if (path.isEmpty) return false; |
+ return !isSeparator(path.codeUnitAt(path.length - 1)); |
+ } |
+ |
+ int rootLength(String path) { |
+ if (path.isEmpty) return 0; |
+ if (path.codeUnitAt(0) == chars.SLASH) return 1; |
+ if (path.codeUnitAt(0) == chars.BACKSLASH) { |
+ if (path.length < 2 || path.codeUnitAt(1) != chars.BACKSLASH) return 1; |
+ // The path is a network share. Search for up to two '\'s, as they are |
+ // the server and share - and part of the root part. |
+ var index = path.indexOf('\\', 2); |
+ if (index > 0) { |
+ index = path.indexOf('\\', index + 1); |
+ if (index > 0) return index; |
+ } |
+ return path.length; |
+ } |
+ // If the path is of the form 'C:/' or 'C:\', with C being any letter, it's |
+ // a root part. |
+ if (path.length < 3) return 0; |
+ // Check for the letter. |
+ if (!isAlphabetic(path.codeUnitAt(0))) return 0; |
+ // Check for the ':'. |
+ if (path.codeUnitAt(1) != chars.COLON) return 0; |
+ // Check for either '/' or '\'. |
+ if (!isSeparator(path.codeUnitAt(2))) return 0; |
+ return 3; |
+ } |
+ |
+ bool isRootRelative(String path) => rootLength(path) == 1; |
+ |
+ String getRelativeRoot(String path) { |
+ var length = rootLength(path); |
+ if (length == 1) return path[0]; |
+ return null; |
+ } |
+ |
+ String pathFromUri(Uri uri) { |
+ if (uri.scheme != '' && uri.scheme != 'file') { |
+ throw new ArgumentError("Uri $uri must have scheme 'file:'."); |
+ } |
+ |
+ var path = uri.path; |
+ if (uri.host == '') { |
+ // Drive-letter paths look like "file:///C:/path/to/file". The |
+ // replaceFirst removes the extra initial slash. |
+ if (path.startsWith('/')) path = path.replaceFirst("/", ""); |
+ } else { |
+ // Network paths look like "file://hostname/path/to/file". |
+ path = '\\\\${uri.host}$path'; |
+ } |
+ return Uri.decodeComponent(path.replaceAll("/", "\\")); |
+ } |
+ |
+ Uri absolutePathToUri(String path) { |
+ var parsed = new ParsedPath.parse(path, this); |
+ if (parsed.root.startsWith(r'\\')) { |
+ // Network paths become "file://server/share/path/to/file". |
+ |
+ // The root is of the form "\\server\share". We want "server" to be the |
+ // URI host, and "share" to be the first element of the path. |
+ var rootParts = parsed.root.split('\\').where((part) => part != ''); |
+ parsed.parts.insert(0, rootParts.last); |
+ |
+ if (parsed.hasTrailingSeparator) { |
+ // If the path has a trailing slash, add a single empty component so the |
+ // URI has a trailing slash as well. |
+ parsed.parts.add(""); |
+ } |
+ |
+ return new Uri( |
+ scheme: 'file', host: rootParts.first, pathSegments: parsed.parts); |
+ } else { |
+ // Drive-letter paths become "file:///C:/path/to/file". |
+ |
+ // If the path is a bare root (e.g. "C:\"), [parsed.parts] will currently |
+ // be empty. We add an empty component so the URL constructor produces |
+ // "file:///C:/", with a trailing slash. We also add an empty component if |
+ // the URL otherwise has a trailing slash. |
+ if (parsed.parts.length == 0 || parsed.hasTrailingSeparator) { |
+ parsed.parts.add(""); |
+ } |
+ |
+ // Get rid of the trailing "\" in "C:\" because the URI constructor will |
+ // add a separator on its own. |
+ parsed.parts.insert( |
+ 0, parsed.root.replaceAll("/", "").replaceAll("\\", "")); |
+ |
+ return new Uri(scheme: 'file', pathSegments: parsed.parts); |
+ } |
+ } |
+} |