org.eclipse.core.runtime

Class URIUtil

java.lang.Object

org.eclipse.core.runtime.URIUtil

public final class URIUtil
extends java.lang.Object

A utility class for manipulating URIs. This class works around some of the undesirable behavior of the URI class, and provides additional path manipulation methods that are not available on the URI class.

Since:

org.eclipse.equinox.common 3.5

Method Summary

Modifier and Type	Method and Description
static java.net.URI	append(java.net.URI base, java.lang.String extension) Returns a new URI with all the same components as the given base URI, but with a path component created by appending the given extension to the base URI's path.
static java.net.URI	fromString(java.lang.String uriString) Returns a URI corresponding to the given unencoded string.
static boolean	isFileURI(java.net.URI uri) Returns whether the given URI refers to a local file system URI.
static java.lang.String	lastSegment(java.net.URI location) Returns the last segment of the given URI.
static java.net.URI	makeAbsolute(java.net.URI relative, java.net.URI baseURI) Returns an absolute URI that is created by appending the given relative URI to the given base.
static java.net.URI	makeRelative(java.net.URI original, java.net.URI baseURI) Returns a URI equivalent to the given original URI, but relative to the given base URI if possible.
static java.net.URI	removeFileExtension(java.net.URI uri) Returns a new URI which is the same as this URI but with the file extension removed from the path part.
static boolean	sameURI(java.net.URI uri1, java.net.URI uri2) Returns true if the two URIs are equal.
static java.io.File	toFile(java.net.URI uri) Returns the URI as a local file, or null if the given URI does not represent a local file.
static java.net.URI	toJarURI(java.net.URI uri, IPath entryPath) Returns a Java ARchive (JAR) URI for an entry in a jar or zip file.
static java.lang.String	toUnencodedString(java.net.URI uri) Returns a string representation of the given URI that doesn't have illegal characters encoded.
static java.net.URI	toURI(java.net.URL url) Returns the URL as a URI.
static java.net.URL	toURL(java.net.URI uri) Returns a URI as a URL.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

append

public static java.net.URI append(java.net.URI base,
                                  java.lang.String extension)

Returns a new URI with all the same components as the given base URI, but with a path component created by appending the given extension to the base URI's path.

The important difference between this method and URI.resolve(String) is in the treatment of the final segment. The URI resolve method drops the last segment if there is no trailing slash as specified in section 5.2 of RFC 2396. This leads to unpredictable behaviour when working with file: URIs, because the existence of the trailing slash depends on the existence of a local file on disk. This method operates like a traditional path append and always preserves all segments of the base path.

Parameters:

base - The base URI to append to

extension - The unencoded path extension to be added

Returns:

The appended URI

fromString

public static java.net.URI fromString(java.lang.String uriString)
                               throws java.net.URISyntaxException

Returns a URI corresponding to the given unencoded string. This method will take care of encoding any characters that must be encoded according to the URI specification. This method must not be called with a string that already contains an encoded URI, since this will result in the URI escape character ('%') being escaped itself.

Parameters:

uriString - An unencoded URI string

Returns:

A URI corresponding to the given string

Throws:

java.net.URISyntaxException - If the string cannot be formed into a valid URI

isFileURI

public static boolean isFileURI(java.net.URI uri)

Returns whether the given URI refers to a local file system URI.

Parameters:

uri - The URI to check

Returns:

true if the URI is a local file system location, and false otherwise

lastSegment

public static java.lang.String lastSegment(java.net.URI location)

Returns the last segment of the given URI. For a hierarchical URL this returns the last segment of the path. For opaque URIs this treats the scheme-specific part as a path and returns the last segment. Returns null for a hierarchical URI with an empty path, and for opaque URIs whose scheme-specific part cannot be interpreted as a path.

removeFileExtension

public static java.net.URI removeFileExtension(java.net.URI uri)

Returns a new URI which is the same as this URI but with the file extension removed from the path part. If this URI 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.

Returns:

the new URI

sameURI

public static boolean sameURI(java.net.URI uri1,
                              java.net.URI uri2)

Returns true if the two URIs are equal. URIs are considered equal if URI.equals(Object) returns true, if the string representation of the URIs is equal, or if they URIs are represent the same local file.

Parameters:

uri1 - The first URI to compare

uri2 - The second URI to compare

Returns:

true if the URIs are the same, and false otherwise.

toFile

public static java.io.File toFile(java.net.URI uri)

Returns the URI as a local file, or null if the given URI does not represent a local file.

Parameters:

uri - The URI to return the file for

Returns:

The local file corresponding to the given URI, or null

toJarURI

public static java.net.URI toJarURI(java.net.URI uri,
                                    IPath entryPath)

Returns a Java ARchive (JAR) URI for an entry in a jar or zip file. The given input URI should represent a zip or jar file, but this method will not check for existence or validity of a file at the given URI.

The entry path parameter can optionally be used to obtain the URI of an entry in a zip or jar file. If an entry path of null is provided, the resulting URI will represent the jar file itself.

Parameters:

uri - The URI of a zip or jar file

entryPath - The path of a file inside the jar, or null to obtain the URI for the jar file itself.

Returns:

A URI with the "jar" scheme for the given input URI and entry path

See Also:

JarURLConnection

toURI

public static java.net.URI toURI(java.net.URL url)
                          throws java.net.URISyntaxException

Returns the URL as a URI. This method will handle URLs that are not properly encoded (for example they contain unencoded space characters).

Parameters:

url - The URL to convert into a URI

Returns:

A URI representing the given URL

Throws:

java.net.URISyntaxException

toURL

public static java.net.URL toURL(java.net.URI uri)
                          throws java.net.MalformedURLException

Returns a URI as a URL.

Throws:

java.net.MalformedURLException

toUnencodedString

public static java.lang.String toUnencodedString(java.net.URI uri)

Returns a string representation of the given URI that doesn't have illegal characters encoded. This string is suitable for later passing to fromString(String).

Parameters:

uri - The URI to convert to string format

Returns:

An unencoded string representation of the URI

makeAbsolute

public static java.net.URI makeAbsolute(java.net.URI relative,
                                        java.net.URI baseURI)

Returns an absolute URI that is created by appending the given relative URI to the given base. If the relative URI is already absolute it is simply returned.

This method is guaranteed to be the inverse of makeRelative(URI, URI). That is, if R = makeRelative(O, B), then makeAbsolute(R, B), will return the original URI O.

Parameters:

relative - the relative URI

baseURI - the base URI

Returns:

an absolute URI

makeRelative

public static java.net.URI makeRelative(java.net.URI original,
                                        java.net.URI baseURI)

Returns a URI equivalent to the given original URI, but relative to the given base URI if possible.

This method is equivalent to URI.relativize(java.net.URI), except for its handling of file URIs. For file URIs, this method handles file system path devices. If the URIs are not on the same device, then the original URI is returned.

Parameters:

original - the original URI

baseURI - the base URI

Returns:

a relative URI