blob: 87ad3973e51b320dc034e2e6404c8e572fb6077b [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.core.internal.runtime.auth;
import java.net.MalformedURLException;
import java.net.URL;
import org.eclipse.core.runtime.Assert;
/**
* A utility for manipulating <code>URL</code>s.
*/
public class URLTool {
/**
* Returns the parent URL of the given URL, or <code>null</code> if the
* given URL is the root.
* <table>
* <caption>Example</caption>
* <tr>
* <th>Given URL</th>
* <th>Parent URL</th>
* <tr>
* <td>"http://hostname/"</td>
* <td>null</td>
* <tr>
* <td>"http://hostname/folder/file</td>
* <td>"http://hostname/folder/</td>
* </table>
*
* @param url a URL
* @return the parent of the given URL
*/
public static URL getParent(URL url) {
String file = url.getFile();
int len = file.length();
if (len == 0 || len == 1 && file.charAt(0) == '/')
return null;
int lastSlashIndex = -1;
for (int i = len - 2; lastSlashIndex == -1 && i >= 0; --i) {
if (file.charAt(i) == '/')
lastSlashIndex = i;
}
if (lastSlashIndex == -1)
file = ""; //$NON-NLS-1$
else
file = file.substring(0, lastSlashIndex + 1);
try {
url = new URL(url.getProtocol(), url.getHost(), url.getPort(), file);
} catch (MalformedURLException e) {
Assert.isTrue(false, e.getMessage());
}
return url;
}
}