Index: runtime/bin/path.dart |
diff --git a/runtime/bin/path.dart b/runtime/bin/path.dart |
deleted file mode 100644 |
index 4061f7e88085d96ed92a15e56a0f0c8eb45fbe7c..0000000000000000000000000000000000000000 |
--- a/runtime/bin/path.dart |
+++ /dev/null |
@@ -1,174 +0,0 @@ |
-// Copyright (c) 2012, 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. |
- |
-/** |
- * A Path, which is a String interpreted as a sequence of path segments, |
- * which are strings, separated by forward slashes. |
- * Paths are immutable wrappers of a String, that offer member functions for |
- * useful path manipulations and queries. Joining of paths and normalization |
- * interpret '.' and '..' in the usual way. |
- */ |
-abstract class Path { |
- /** |
- * Creates a Path from the String [source]. [source] is used as-is, so if |
- * the string does not consist of segments separated by forward slashes, the |
- * behavior may not be as expected. Paths are immutable. |
- */ |
- factory Path(String source) => new _Path(source); |
- |
- /** |
- * Creates a Path from a String that uses the native filesystem's conventions. |
- * On Windows, this converts '\' to '/', and adds a '/' before a drive letter. |
- * A path starting with '/c:/' (or any other character instead of 'c') is |
- * treated specially. Backwards links ('..') cannot cancel the drive letter. |
- */ |
- factory Path.fromNative(String source) => new _Path.fromNative(source); |
- |
- /** |
- * Is this path the empty string? |
- */ |
- bool get isEmpty; |
- |
- /** |
- * Is this path an absolute path, beginning with a path separator? |
- */ |
- bool get isAbsolute; |
- |
- /** |
- * Does this path end with a path separator? |
- */ |
- bool get hasTrailingSeparator; |
- |
- /** |
- * Does this path contain no consecutive path separators, no segments that |
- * are '.' unless the path is exactly '.', and segments that are '..' only |
- * as the leading segments on a relative path? |
- */ |
- bool get isCanonical; |
- |
- /** |
- * Make a path canonical by dropping segments that are '.', cancelling |
- * segments that are '..' with preceding segments, if possible, |
- * and combining consecutive path separators. Leading '..' segments |
- * are kept on relative paths, and dropped from absolute paths. |
- */ |
- Path canonicalize(); |
- |
- /** |
- * Joins the relative path [further] to this path. Canonicalizes the |
- * resulting joined path using [canonicalize], |
- * interpreting '.' and '..' as directory traversal commands, and removing |
- * consecutive path separators. |
- * |
- * If [further] is an absolute path, an IllegalArgument exception is thrown. |
- * |
- * Examples: |
- * `new Path('/a/b/c').join(new Path('d/e'))` returns the Path object |
- * containing `'a/b/c/d/e'`. |
- * |
- * `new Path('a/b/../c/').join(new Path('d/./e//')` returns the Path |
- * containing `'a/c/d/e/'`. |
- * |
- * `new Path('a/b/c').join(new Path('d/../../e')` returns the Path |
- * containing `'a/b/e'`. |
- * |
- * Note that the join operation does not drop the last segment of the |
- * base path, the way URL joining does. That would be accomplished with |
- * basepath.directoryPath.join(further). |
- * |
- * If you want to avoid joins that traverse |
- * parent directories in the base, you can check whether |
- * `further.canonicalize()` starts with '../' or equals '..'. |
- */ |
- Path join(Path further); |
- |
- |
- /** |
- * Returns a path [:relative:] such that |
- * [:base.join(relative) == this.canonicalize():]. |
- * Throws an exception if such a path is impossible. |
- * For example, if [base] is '../../a/b' and [this] is '.'. |
- * The computation is independent of the file system and current directory. |
- */ |
- Path relativeTo(Path base); |
- |
- /** |
- * Converts a path to a string using the native filesystem's conventions. |
- * |
- * On Windows, converts path separators to backwards slashes, and removes |
- * the leading path separator if the path starts with a drive specification. |
- * For most valid Windows paths, this should be the inverse of the |
- * constructor Path.fromNative. |
- */ |
- String toNativePath(); |
- |
- /** |
- * Returns the path as a string. If this path is constructed using |
- * new Path() or new Path.fromNative() on a non-Windows system, the |
- * returned value is the original string argument to the constructor. |
- */ |
- String toString(); |
- |
- /** |
- * Gets the segments of a Path. Paths beginning or ending with the |
- * path separator do not have leading or terminating empty segments. |
- * Other than that, the segments are just the result of splitting the |
- * path on the path separator. |
- * |
- * new Path('/a/b/c/d').segments() == ['a', 'b', 'c', d']; |
- * new Path(' foo bar //../') == [' foo bar ', '', '..']; |
- */ |
- List<String> segments(); |
- |
- /** |
- * Appends [finalSegment] to a path as a new segment. Adds a path separator |
- * between the path and [finalSegment] if the path does not already end in |
- * a path separator. The path is not canonicalized, and [finalSegment] may |
- * contain path separators. |
- */ |
- Path append(String finalSegment); |
- |
- /** |
- * Drops the final path separator and whatever follows it from this Path, |
- * and returns the resulting Path object. If the only path separator in |
- * this Path is the first character, returns '/' instead of the empty string. |
- * If there is no path separator in the Path, returns the empty string. |
- * |
- * new Path('../images/dot.gif').directoryPath == '../images' |
- * new Path('/usr/geoffrey/www/').directoryPath == '/usr/geoffrey/www' |
- * new Path('lost_file_old').directoryPath == '' |
- * new Path('/src').directoryPath == '/' |
- * Note: new Path('/D:/src').directoryPath == '/D:' |
- */ |
- Path get directoryPath; |
- |
- /** |
- * The part of the path after the last path separator, or the entire path if |
- * it contains no path separator. |
- * |
- * new Path('images/DSC_0027.jpg).filename == 'DSC_0027.jpg' |
- * new Path('users/fred/').filename == '' |
- */ |
- String get filename; |
- |
- /** |
- * The part of [filename] before the last '.', or the entire filename if it |
- * contains no '.'. If [filename] is '.' or '..' it is unchanged. |
- * |
- * new Path('/c:/My Documents/Heidi.txt').filenameWithoutExtension |
- * would return 'Heidi'. |
- * new Path('not what I would call a path').filenameWithoutExtension |
- * would return 'not what I would call a path'. |
- */ |
- String get filenameWithoutExtension; |
- |
- /** |
- * The part of [filename] after the last '.', or '' if [filename] |
- * contains no '.'. If [filename] is '.' or '..', returns ''. |
- * |
- * new Path('tiger.svg').extension == 'svg' |
- * new Path('/src/dart/dart_secrets').extension == '' |
- */ |
- String get extension; |
-} |