org.eclipse.core.runtime.IPath Maven / Gradle / Ivy
Show all versions of aspectjtools Show documentation
/*******************************************************************************
* Copyright (c) 2000, 2023 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
* Patrick Tasse - Add extra constructor to Path class (bug 454959)
* Hannes Wellmann - Add static IPath factory methods and add methods to create an IPath from a io.File/nio.Path
*******************************************************************************/
package org.eclipse.core.runtime;
/**
* A path is an ordered collection of string segments,
* separated by a standard separator character, "/".
* A path may also have a leading and/or a trailing separator.
* Paths may also be prefixed by an optional device id, which includes
* the character(s) which separate the device id from the rest
* of the path. For example, "C:" and "Server/Volume:" are typical
* device ids.
* A device independent path has null for a device id.
*
* Note that paths are value objects; all operations on paths
* return a new path; the path that is operated on is unscathed.
*
*
* UNC paths are denoted by leading double-slashes such
* as //Server/Volume/My/Path. When a new path
* is constructed all double-slashes are removed except those
* appearing at the beginning of the path.
*
*
* This interface can be used without OSGi running.
*
* This interface is not intended to be implemented by clients.
*
* @see Path
* @noextend This interface is not intended to be extended by clients.
* @noimplement This interface is not intended to be implemented by clients.
*/
public interface IPath extends Cloneable {
/**
* Path separator character constant "/" used in paths.
*/
public static final char SEPARATOR = '/';
/**
* Device separator character constant ":" used in paths.
*/
public static final char DEVICE_SEPARATOR = ':';
/**
* Constant value containing the empty path with no device on the local file
* system.
*
* @since 3.18
*/
public static final IPath EMPTY = Path.Constants.empty();
/**
* Constant value containing the root path with no device on the local file
* system.
*
* @since 3.18
*/
public static final IPath ROOT = Path.Constants.root();
/**
* Constructs a new path from the given string path. The string path must
* represent a valid file system path on the local file system. The path is
* canonicalized and double slashes are removed except at the beginning. (to
* handle UNC paths). All forward slashes ('/') are treated as segment
* delimiters, and any segment and device delimiters for the local file system
* are also respected.
*
* @param osPath the operating-system specific string path
* @return the IPath representing the given OS specific string path
* @since 3.18
*/
public static IPath fromOSString(String osPath) {
return new Path(osPath);
}
/**
* Constructs a new path from the given path string. The path string must have
* been produced by a previous call to IPath.toPortableString.
*
* @param portablePath the portable path string
* @return the IPath representing the given portable string path
* @see IPath#toPortableString()
* @since 3.18
*/
public static IPath fromPortableString(String portablePath) {
return Path.parsePortableString(portablePath);
}
/**
* Constructs a new POSIX path from the given string path. The string path must
* represent a valid file system path on a POSIX file system. The path is
* canonicalized and double slashes are removed except at the beginning (to
* handle UNC paths). All forward slashes ('/') are treated as segment
* delimiters. This factory method should be used if the string path is for a
* POSIX file system.
*
* @param posixPath the string path
* @return the IPath representing the given POSIX string path
* @since 3.18
*/
public static IPath forPosix(String posixPath) {
return new Path(posixPath, false);
}
/**
* Constructs a new Windows path from the given string path. The string path
* must represent a valid file system path on the Windows file system. The path
* is canonicalized and double slashes are removed except at the beginning (to
* handle UNC paths). All forward slashes ('/') are treated as segment
* delimiters, and any segment ('\') and device (':') delimiters for the Windows
* file system are also respected. This factory method should be used if the
* string path is for the Windows file system.
*
* @param windowsPath the string path
* @return the IPath representing the given Windows string path
* @since 3.18
*/
public static IPath forWindows(String windowsPath) {
return new Path(windowsPath, true);
}
/**
* Constructs a new {@code IPath} from the given {@code File}.
*
* @param file the java.io.File object
* @return the IPath representing the given File object
* @since 3.18
*/
public static IPath fromFile(java.io.File file) {
return fromOSString(file.toString());
}
/**
* Constructs a new {@code IPath} from the given {@code java.nio.file.Path}.
*
* @param path the java.nio.file.Path object
* @return the IPath representing the given Path object
* @since 3.18
*/
public static IPath fromPath(java.nio.file.Path path) {
return fromOSString(path.toString());
}
/**
* Returns a new path which is the same as this path but with
* the given file extension added. If this path is empty, root or has a
* trailing separator, this path is returned. If this path already
* has an extension, the existing extension is left and the given
* extension simply appended. Clients wishing to replace
* the current extension should first remove the extension and
* then add the desired one.
*
* The file extension portion is defined as the string
* following the last period (".") character in the last segment.
* The given extension should not include a leading ".".
*
*
* @param extension the file extension to append
* @return the new path
*/
public IPath addFileExtension(String extension);
/**
* Returns a path with the same segments as this path
* but with a trailing separator added.
* This path must have at least one segment.
*
* If this path already has a trailing separator,
* this path is returned.
*
*
* @return the new path
* @see #hasTrailingSeparator()
* @see #removeTrailingSeparator()
*/
public IPath addTrailingSeparator();
/**
* Returns the canonicalized path obtained from the
* concatenation of the given string path to the
* end of this path. The given string path must be a valid
* path. If it has a trailing separator,
* the result will have a trailing separator.
* The device id of this path is preserved (the one
* of the given string is ignored). Duplicate slashes
* are removed from the path except at the beginning
* where the path is considered to be UNC.
*
* @param path the string path to concatenate
* @return the new path
* @see #isValidPath(String)
*/
public IPath append(String path);
/**
* Returns the canonicalized path obtained from the
* concatenation of the given path's segments to the
* end of this path. If the given path has a trailing
* separator, the result will have a trailing separator.
* The device id of this path is preserved (the one
* of the given path is ignored). Duplicate slashes
* are removed from the path except at the beginning
* where the path is considered to be UNC.
*
* @param path the path to concatenate
* @return the new path
*/
public IPath append(IPath path);
/**
* Returns a copy of this path.
*
* @return the cloned path
*/
public Object clone();
/**
* Returns whether this path equals the given object.
*
* Equality for paths is defined to be: same sequence of segments,
* same absolute/relative status, and same device.
* Trailing separators are disregarded.
* The paths' file systems are disregarded.
* Paths are not generally considered equal to objects other than paths.
*
*
* @param obj the other object
* @return true if the paths are equivalent,
* and false if they are not
*/
@Override
public boolean equals(Object obj);
/**
* Returns the device id for this path, or null if this
* path has no device id. Note that the result will end in ':'.
*
* @return the device id, or null
* @see #setDevice(String)
*/
public String getDevice();
/**
* Returns the file extension portion of this path,
* or null if there is none.
*
* The file extension portion is defined as the string
* following the last period (".") character in the last segment.
* If there is no period in the last segment, the path has no
* file extension portion. If the last segment ends in a period,
* the file extension portion is the empty string.
*
*
* @return the file extension or null
*/
public String getFileExtension();
/**
* Returns whether this path has a trailing separator.
*
* Note: In the root path ("/"), the separator is considered to
* be leading rather than trailing.
*
*
* @return true if this path has a trailing
* separator, and false otherwise
* @see #addTrailingSeparator()
* @see #removeTrailingSeparator()
*/
public boolean hasTrailingSeparator();
/**
* Returns whether this path is an absolute path (ignoring
* any device id).
*
* Absolute paths start with a path separator.
* A root path, like / or C:/,
* is considered absolute. UNC paths are always absolute.
*
*
* @return true if this path is an absolute path,
* and false otherwise
*/
public boolean isAbsolute();
/**
* Returns whether this path has no segments and is not
* a root path.
*
* @return true if this path is empty,
* and false otherwise
*/
public boolean isEmpty();
/**
* Returns whether this path is a prefix of the given path.
* To be a prefix, this path's segments must
* appear in the argument path in the same order,
* and their device ids must match.
*
* An empty path is a prefix of all paths with the same device; a root path is a prefix of
* all absolute paths with the same device.
*
* @param anotherPath the other path
* @return true if this path is a prefix of the given path,
* and false otherwise
*/
public boolean isPrefixOf(IPath anotherPath);
/**
* Returns whether this path is a root path.
*
* The root path is the absolute non-UNC path with zero segments;
* e.g., / or C:/.
* The separator is considered a leading separator, not a trailing one.
*
*
* @return true if this path is a root path,
* and false otherwise
*/
public boolean isRoot();
/**
* Returns a boolean value indicating whether or not this path
* is considered to be in UNC form. Return false if this path
* has a device set or if the first 2 characters of the path string
* are not Path.SEPARATOR.
*
* @return boolean indicating if this path is UNC
*/
public boolean isUNC();
/**
* Returns whether the given string is syntactically correct as a path, on
* this path's file system. The device id is the prefix up to and including
* the device separator for the file system of this path; the path proper is
* everything to the right of it, or the entire string if there is no device
* separator. When this path's file system has no meaningful device
* separator, the entire string is treated as the path proper.
* The device id is not checked for validity; the path proper is correct
* if each of the segments in its canonicalized form is valid.
*
* @param path the path to check
* @return true if the given string is a valid path,
* and false otherwise
* @see #isValidSegment(String)
*/
public boolean isValidPath(String path);
/**
* Returns whether the given string is valid as a segment in this path.
* The rules for valid segments are as follows:
*
* - the empty string is not valid
*
- any string containing the slash character ('/') is not valid
*
- any string containing segment or device separator characters on this
* path's file system, such as the backslash ('\') and colon (':') on some
* file systems, is not valid
*
*
* @param segment the path segment to check
* @return true if the given path segment is valid,
* and false otherwise
*/
public boolean isValidSegment(String segment);
/**
* Returns the last segment of this path, or
* null if it does not have any segments.
*
* @return the last segment of this path, or null
*/
public String lastSegment();
/**
* Returns an absolute path with the segments and device id of this path.
* Absolute paths start with a path separator. If this path is absolute,
* it is simply returned.
*
* @return the new path
*/
public IPath makeAbsolute();
/**
* Returns a relative path with the segments and device id of this path.
* Absolute paths start with a path separator and relative paths do not.
* If this path is relative, it is simply returned.
*
* @return the new path
*/
public IPath makeRelative();
/**
* Returns a path equivalent to this path, but relative to the given base path if possible.
*
* The path is only made relative if the base path if both paths have the same device
* and have a non-zero length common prefix. If the paths have different devices,
* or no common prefix, then this path is simply returned. If the path is successfully
* made relative, then appending the returned path to the base will always produce
* a path equal to this path.
*
* @param base The base path to make this path relative to
* @return A path relative to the base path, or this path if it could
* not be made relative to the given base
* @since org.eclipse.equinox.common 3.5
*/
public IPath makeRelativeTo(IPath base);
/**
* Return a new path which is the equivalent of this path converted to UNC
* form (if the given boolean is true) or this path not as a UNC path (if the given
* boolean is false). If UNC, the returned path will not have a device and the
* first 2 characters of the path string will be Path.SEPARATOR. If not UNC, the
* first 2 characters of the returned path string will not be Path.SEPARATOR.
*
* @param toUNC true if converting to UNC, false otherwise
* @return the new path, either in UNC form or not depending on the boolean parameter
*/
public IPath makeUNC(boolean toUNC);
/**
* Returns a count of the number of segments which match in
* this path and the given path (device ids are ignored),
* comparing in increasing segment number order.
*
* @param anotherPath the other path
* @return the number of matching segments
*/
public int matchingFirstSegments(IPath anotherPath);
/**
* Returns a new path which is the same as this path but with
* the file extension removed. If this path does not have an
* extension, this path is returned.
*
* The file extension portion is defined as the string
* following the last period (".") character in the last segment.
* If there is no period in the last segment, the path has no
* file extension portion. If the last segment ends in a period,
* the file extension portion is the empty string.
*
*
* @return the new path
*/
public IPath removeFileExtension();
/**
* Returns a copy of this path with the given number of segments
* removed from the beginning. The device id is preserved.
* The count must be greater or equal zero.
*
* If the count is zero, this path is returned. This is the only case where
* the returned path can be absolute. Use {@link #makeRelative()} if necessary.
*
* If the count is greater than zero, the resulting path will
* always be a relative path.
*
* If the count equals or exceeds the number
* of segments in this path, an empty relative path is returned.
*
*
* @param count the number of segments to remove
* @return the new path
*/
public IPath removeFirstSegments(int count);
/**
* Returns a copy of this path with the given number of segments
* removed from the end. The device id is preserved.
* The number must be greater or equal zero.
* If the count is zero, this path is returned.
*
* If this path has a trailing separator, it will still
* have a trailing separator after the last segments are removed
* (assuming there are some segments left). If there is no
* trailing separator, the result will not have a trailing
* separator.
* If the number equals or exceeds the number
* of segments in this path, a path with no segments is returned.
*
*
* @param count the number of segments to remove
* @return the new path
*/
public IPath removeLastSegments(int count);
/**
* Returns a path with the same segments as this path
* but with a trailing separator removed.
* Does nothing if this path does not have at least one segment.
* The device id is preserved.
*
* If this path does not have a trailing separator,
* this path is returned.
*
*
* @return the new path
* @see #addTrailingSeparator()
* @see #hasTrailingSeparator()
*/
public IPath removeTrailingSeparator();
/**
* Returns the specified segment of this path, or
* null if the path does not have such a segment.
*
* @param index the 0-based segment index
* @return the specified segment, or null
*/
public String segment(int index);
/**
* Returns the number of segments in this path.
*
* Note that both root and empty paths have 0 segments.
*
*
* @return the number of segments
*/
public int segmentCount();
/**
* Returns the segments in this path in order.
*
* @return an array of string segments
*/
public String[] segments();
/**
* Returns a new path which is the same as this path but with
* the given device id. The device id must end with a ":".
* A device independent path is obtained by passing null.
*
* For example, "C:" and "Server/Volume:" are typical device ids.
*
*
* @param device the device id or null
* @return a new path
* @see #getDevice()
*/
public IPath setDevice(String device);
/**
* Returns a java.io.File corresponding to this path.
*
* @return the file corresponding to this path
*/
public java.io.File toFile();
/**
* Returns a java.nio.file.Path corresponding to this path.
*
* @return the path corresponding to this path
* @since 3.18
*/
default java.nio.file.Path toPath() {
return java.nio.file.Path.of(toOSString());
}
/**
* Returns a string representation of this path which uses the
* platform-dependent path separator defined by java.io.File.
* This method is like toString() except that the
* latter always uses the same separator (/) regardless of platform.
*
* This string is suitable for passing to java.io.File(String).
*
*
* @return a platform-dependent string representation of this path
*/
public String toOSString();
/**
* Returns a platform-neutral string representation of this path. The
* format is not specified, except that the resulting string can be
* passed back to the Path#fromPortableString(String)
* constructor to produce the exact same path on any platform.
*
* This string is suitable for passing to Path#fromPortableString(String).
*
*
* @return a platform-neutral string representation of this path
* @see Path#fromPortableString(String)
* @since 3.1
*/
public String toPortableString();
/**
* Returns a string representation of this path, including its
* device id. The same separator, "/", is used on all platforms.
*
* Example result strings (without and with device id):
*
*
* "/foo/bar.txt"
* "bar.txt"
* "/foo/"
* "foo/"
* ""
* "/"
* "C:/foo/bar.txt"
* "C:bar.txt"
* "C:/foo/"
* "C:foo/"
* "C:"
* "C:/"
*
* This string is suitable for passing to Path(String).
*
* @return a string representation of this path
* @see Path
*/
@Override
public String toString();
/**
* Returns a copy of this path truncated after the
* given number of segments. The number must not be negative.
* The device id is preserved.
*
* If this path has a trailing separator, the result will too
* (assuming there are some segments left). If there is no
* trailing separator, the result will not have a trailing
* separator.
* Copying up to segment zero simply means making an copy with
* no path segments.
*
*
* @param count the segment number at which to truncate the path
* @return the new path
*/
public IPath uptoSegment(int count);
}