update/org.eclipse.update.core/src/org/eclipse/update/internal/core/UpdateManagerUtils.java - platform/eclipse.platform - Git at Google

 package org.eclipse.update.internal.core;
 /*
  * (c) Copyright IBM Corp. 2000, 2002.
  * All Rights Reserved.
  */
 import java.io.*;
 import java.net.MalformedURLException;
 import java.net.URL;
 import java.util.*;

 import org.eclipse.core.boot.BootLoader;
 import org.eclipse.core.boot.IPlatformConfiguration;
 import org.eclipse.core.runtime.*;
 import org.eclipse.update.core.*;

 /**
  *
  */
 public class UpdateManagerUtils {

 	/**
 	 * return the urlString if it is a absolute URL
 	 * otherwise, return the default URL if the urlString is null
 	 * The defaultURL may point ot a file, create a file URL then
 	 * if the urlString or the default URL are relatives, prepend the rootURL to it
 	 */
 	public static URL getURL(URL rootURL, String urlString, String defaultURL)
 		throws MalformedURLException {
 		URL url = null;

 		// if no URL , provide Default
 		if (urlString == null || urlString.trim().equals("")) { //$NON-NLS-1$

 			// no URL, no default, return right now...
 			if (defaultURL == null || defaultURL.trim().equals("")) //$NON-NLS-1$
 				return null;
 			else
 				urlString = defaultURL;
 		}

 		// URL can be relative or absolute
 		if (urlString.startsWith("/") && urlString.length() > 1) //$NON-NLS-1$
 			urlString = urlString.substring(1);
 		try {
 			url = new URL(urlString);
 		} catch (MalformedURLException e) {
 			// the url is not an absolute URL
 			// try relative
 			url = new URL(rootURL, urlString);
 		}

 		return url;
 	}

 	/**
 	 * return a relative String to rootURL
 	 * if url contains rootURL so
 	 * new URL(rootURL, resultString) == url
 	 *
 	 */
 	public static String getURLAsString(URL rootURL, URL url) {
 		String result = null;

 		if (rootURL == null) {
 			return (url == null) ? null : url.toString();
 		}

 		// if no URL , return null
 		if (url != null) {

 			result = url.toExternalForm();

 			if (rootURL.getHost() != null && !rootURL.getHost().equals(url.getHost()))
 				return result;

 			if (rootURL.getProtocol() != null
 				&& !rootURL.getProtocol().equals(url.getProtocol()))
 				return result;

 			if (rootURL.getPort() != url.getPort())
 				return result;

 			String rootURLFileString = rootURL.getFile();
 			rootURLFileString.replace(File.separatorChar, '/');
 			if (!rootURLFileString.endsWith("/")) {
 				int index = rootURLFileString.lastIndexOf('/');
 				if (index != -1) {
 					rootURLFileString = rootURLFileString.substring(0, index);
 				}
 			}
 			String urlFileString = url.getFile();

 			if (urlFileString.startsWith(rootURLFileString)) {
 				result = urlFileString.substring(rootURLFileString.length());
 				result.replace(File.separatorChar, '/');
 			} else {
 				// we need to check the following
 				// file:/C:/ and file:C:/
 				if ("file".equalsIgnoreCase(url.getProtocol())) {
 					File rootFile = new File(rootURLFileString);
 					File urlFile = new File(urlFileString);

 					File relativePath = urlFile;
 					while (relativePath != null
 						&& !rootFile.equals(relativePath.getParentFile())) {
 						relativePath = relativePath.getParentFile();
 					}

 					if (relativePath == null) {
 						UpdateManagerPlugin.warn("Cannot calculate relative path");
 						return url.toString();
 					} else {
 						String relativeRootString = relativePath.getParentFile().getAbsolutePath();
 						String fullString = urlFile.getAbsolutePath();
 						if (!fullString.startsWith(relativeRootString)) {
 								UpdateManagerPlugin.warn(
 									"Full path:" + fullString + " does not start with " + relativeRootString);
 							return url.toString();
 						} else {
 							String returnString = fullString.substring(relativeRootString.length() + 1);
 							if (urlFile.isDirectory())
 								returnString += File.separator;
 							// we lost the last slash when tranforming in File
 							returnString = returnString.replace(File.separatorChar, '/');
 							return returnString;
 						}

 					}

 				} else {
 					result = url.toString();
 				}
 			}
 		}

 		return result;
 	}

 	/**
 	 * returns a translated String
 	 */
 	public static String getResourceString(String infoURL, ResourceBundle bundle) {
 		String result = null;
 		if (infoURL != null) {
 			result =
 				UpdateManagerPlugin.getPlugin().getDescriptor().getResourceString(
 					infoURL,
 					bundle);
 		}
 		return result;
 	};

 	/**
 	 *
 	 */
 	public static URL copyToLocal(
 		InputStream sourceContentReferenceStream,
 		String localName,
 		InstallMonitor monitor)
 		throws MalformedURLException, IOException {
 		URL result = null;
 		// create the Dir if they do not exist
 		// get the path from the File to resolve File.separator..
 		// do not use the String as it may contain URL like separator
 		File localFile = new File(localName);
 		int index = localFile.getPath().lastIndexOf(File.separator);
 		if (index != -1) {
 			File dir = new File(localFile.getPath().substring(0, index));
 			if (!dir.exists())
 				dir.mkdirs();
 		}

 		// transfer the content of the File
 		if (!localFile.isDirectory()) {
 			OutputStream localContentReferenceStream = new FileOutputStream(localFile);
 			Utilities.copy(
 				sourceContentReferenceStream,
 				localContentReferenceStream,
 				monitor);
 			localContentReferenceStream.close();
 		}
 		result = localFile.toURL();
 		return result;
 	}
 	/**
 	 * Returns a random file name for the local system
 	 * attempt to conserve the extension if there is a '.' in the path
 	 * and no File.Seperator after the '.'
 	 *
 	 * \a\b\c.txt -> c987659385.txt
 	 * c.txt -> c3854763.txt
 	 * c	-> c953867549
 	 */
 	public static String getLocalRandomIdentifier(String remotePath, Date date) {
 		int dotIndex = remotePath.lastIndexOf(".");
 		//$NON-NLS-1$
 		int fileIndex = remotePath.lastIndexOf(File.separator);
 		// if there is a separator after the dot
 		// do not consider it as an extension
 		String ext =
 			(dotIndex != -1 && fileIndex < dotIndex) ? remotePath.substring(dotIndex) : "";
 		//$NON-NLS-1$
 		// the name is the string between the separator and the dot
 		// if there is no separator, it is the string up to the dot
 		// if there is no dot, go to the end of the string
 		if (fileIndex == -1)
 			fileIndex = 0;
 		if (dotIndex == -1)
 			dotIndex = remotePath.length();
 		// if I have a separator and no dot: /a/b/c -> c
 		// if my separator is the last /a/b/c/, fileIndex and dotIndex are the same, so it will return the default temp name
 		String name =
 			(fileIndex < dotIndex)
 				? remotePath.substring(fileIndex, dotIndex)
 				: "Eclipse_Update_TMP_";
 		//$NON-NLS-1$
 		String result = name + date.getTime() + ext;
 		return result;
 	}

 	/**
 	 * remove a file or directory from the file system.
 	 * used to clean up install
 	 */
 	public static void removeFromFileSystem(File file) {
 		if (!file.exists())
 			return;

 		if (file.isDirectory()) {
 			String[] files = file.list();
 			if (files != null) // be careful since file.list() can return null
 				for (int i = 0; i < files.length; ++i)
 					removeFromFileSystem(new File(file, files[i]));
 		}

 		if (!file.delete()) {
 			String msg =
 					Policy.bind("UpdateManagerUtils.UnableToRemoveFile", file.getAbsolutePath());
 			//$NON-NLS-1$ //$NON-NLS-2$
 			UpdateManagerPlugin.log(msg,new Exception());
 		}
 	}


 	/**
 	 * remove all the empty directories recursively
 	 * used to clean up install
 	 */
 	public static void removeEmptyDirectoriesFromFileSystem(File file) {
 		if (!file.isDirectory())
 			return;

 		File childDir;
 		String[] files = file.list();
 		if (files != null){ // be careful since file.list() can return null
 			for (int i = 0; i < files.length; ++i){
 				removeEmptyDirectoriesFromFileSystem(new File(file, files[i]));
 			}
 		}
 		if (!file.delete()) {
 			String msg =
 					Policy.bind("UpdateManagerUtils.UnableToRemoveFile", file.getAbsolutePath());
 			//$NON-NLS-1$ //$NON-NLS-2$
 			UpdateManagerPlugin.log(msg,new Exception());
 		}
 	}

 	/**
 	 * Returns the plugin entries that are in source array and
 	 * not in target array
 	 */
 	public static IPluginEntry[] diff(
 		IPluginEntry[] sourceArray,
 		IPluginEntry[] targetArray) { // No pluginEntry to Install, return Nothing to instal
 		if (sourceArray == null || sourceArray.length == 0) {
 			return new IPluginEntry[0];
 		} // No pluginEntry installed, Install them all
 		if (targetArray == null || targetArray.length == 0) {
 			return sourceArray;
 		} // if a IPluginEntry from sourceArray is NOT in
 		// targetArray, add it to the list
 		List list1 = Arrays.asList(targetArray);
 		List result = new ArrayList(0);
 		for (int i = 0; i < sourceArray.length; i++) {
 			if (!list1.contains(sourceArray[i]))
 				result.add(sourceArray[i]);
 		}

 		IPluginEntry[] resultEntry = new IPluginEntry[result.size()];
 		if (result.size() > 0)
 			result.toArray(resultEntry);
 		return resultEntry;
 	}

 	/**
 	 * 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 = "";
 		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;
 	}

 	/**
 	 *
 	 */
 	public static URL asDirectoryURL(URL url) throws MalformedURLException {
 		//url = URLEncoder.encode(url);
 		String path = url.getFile();
 		if (!path.endsWith("/")) {
 			int index = path.lastIndexOf('/');
 			if (index != -1)
 				path = path.substring(0, index + 1);
 			// ignore any ref in original URL
 			url = new URL(url.getProtocol(), url.getHost(), url.getPort(), path);
 		}
 		return url;
 	}
 }
	package org.eclipse.update.internal.core;
	/*
	* (c) Copyright IBM Corp. 2000, 2002.
	* All Rights Reserved.
	*/
	import java.io.*;
	import java.net.MalformedURLException;
	import java.net.URL;
	import java.util.*;

	import org.eclipse.core.boot.BootLoader;
	import org.eclipse.core.boot.IPlatformConfiguration;
	import org.eclipse.core.runtime.*;
	import org.eclipse.update.core.*;

	/**
	*
	*/
	public class UpdateManagerUtils {

	/**
	* return the urlString if it is a absolute URL
	* otherwise, return the default URL if the urlString is null
	* The defaultURL may point ot a file, create a file URL then
	* if the urlString or the default URL are relatives, prepend the rootURL to it
	*/
	public static URL getURL(URL rootURL, String urlString, String defaultURL)
	throws MalformedURLException {
	URL url = null;

	// if no URL , provide Default
	if (urlString == null \|\| urlString.trim().equals("")) { //$NON-NLS-1$

	// no URL, no default, return right now...
	if (defaultURL == null \|\| defaultURL.trim().equals("")) //$NON-NLS-1$
	return null;
	else
	urlString = defaultURL;
	}

	// URL can be relative or absolute
	if (urlString.startsWith("/") && urlString.length() > 1) //$NON-NLS-1$
	urlString = urlString.substring(1);
	try {
	url = new URL(urlString);
	} catch (MalformedURLException e) {
	// the url is not an absolute URL
	// try relative
	url = new URL(rootURL, urlString);
	}

	return url;
	}

	/**
	* return a relative String to rootURL
	* if url contains rootURL so
	* new URL(rootURL, resultString) == url
	*
	*/
	public static String getURLAsString(URL rootURL, URL url) {
	String result = null;

	if (rootURL == null) {
	return (url == null) ? null : url.toString();
	}

	// if no URL , return null
	if (url != null) {

	result = url.toExternalForm();

	if (rootURL.getHost() != null && !rootURL.getHost().equals(url.getHost()))
	return result;

	if (rootURL.getProtocol() != null
	&& !rootURL.getProtocol().equals(url.getProtocol()))
	return result;

	if (rootURL.getPort() != url.getPort())
	return result;

	String rootURLFileString = rootURL.getFile();
	rootURLFileString.replace(File.separatorChar, '/');
	if (!rootURLFileString.endsWith("/")) {
	int index = rootURLFileString.lastIndexOf('/');
	if (index != -1) {
	rootURLFileString = rootURLFileString.substring(0, index);
	}
	}
	String urlFileString = url.getFile();

	if (urlFileString.startsWith(rootURLFileString)) {
	result = urlFileString.substring(rootURLFileString.length());
	result.replace(File.separatorChar, '/');
	} else {
	// we need to check the following
	// file:/C:/ and file:C:/
	if ("file".equalsIgnoreCase(url.getProtocol())) {
	File rootFile = new File(rootURLFileString);
	File urlFile = new File(urlFileString);

	File relativePath = urlFile;
	while (relativePath != null
	&& !rootFile.equals(relativePath.getParentFile())) {
	relativePath = relativePath.getParentFile();
	}

	if (relativePath == null) {
	UpdateManagerPlugin.warn("Cannot calculate relative path");
	return url.toString();
	} else {
	String relativeRootString = relativePath.getParentFile().getAbsolutePath();
	String fullString = urlFile.getAbsolutePath();
	if (!fullString.startsWith(relativeRootString)) {
	UpdateManagerPlugin.warn(
	"Full path:" + fullString + " does not start with " + relativeRootString);
	return url.toString();
	} else {
	String returnString = fullString.substring(relativeRootString.length() + 1);
	if (urlFile.isDirectory())
	returnString += File.separator;
	// we lost the last slash when tranforming in File
	returnString = returnString.replace(File.separatorChar, '/');
	return returnString;
	}

	}

	} else {
	result = url.toString();
	}
	}
	}

	return result;
	}

	/**
	* returns a translated String
	*/
	public static String getResourceString(String infoURL, ResourceBundle bundle) {
	String result = null;
	if (infoURL != null) {
	result =
	UpdateManagerPlugin.getPlugin().getDescriptor().getResourceString(
	infoURL,
	bundle);
	}
	return result;
	};

	/**
	*
	*/
	public static URL copyToLocal(
	InputStream sourceContentReferenceStream,
	String localName,
	InstallMonitor monitor)
	throws MalformedURLException, IOException {
	URL result = null;
	// create the Dir if they do not exist
	// get the path from the File to resolve File.separator..
	// do not use the String as it may contain URL like separator
	File localFile = new File(localName);
	int index = localFile.getPath().lastIndexOf(File.separator);
	if (index != -1) {
	File dir = new File(localFile.getPath().substring(0, index));
	if (!dir.exists())
	dir.mkdirs();
	}

	// transfer the content of the File
	if (!localFile.isDirectory()) {
	OutputStream localContentReferenceStream = new FileOutputStream(localFile);
	Utilities.copy(
	sourceContentReferenceStream,
	localContentReferenceStream,
	monitor);
	localContentReferenceStream.close();
	}
	result = localFile.toURL();
	return result;
	}
	/**
	* Returns a random file name for the local system
	* attempt to conserve the extension if there is a '.' in the path
	* and no File.Seperator after the '.'
	*
	* \a\b\c.txt -> c987659385.txt
	* c.txt -> c3854763.txt
	* c -> c953867549
	*/
	public static String getLocalRandomIdentifier(String remotePath, Date date) {
	int dotIndex = remotePath.lastIndexOf(".");
	//$NON-NLS-1$
	int fileIndex = remotePath.lastIndexOf(File.separator);
	// if there is a separator after the dot
	// do not consider it as an extension
	String ext =
	(dotIndex != -1 && fileIndex < dotIndex) ? remotePath.substring(dotIndex) : "";
	//$NON-NLS-1$
	// the name is the string between the separator and the dot
	// if there is no separator, it is the string up to the dot
	// if there is no dot, go to the end of the string
	if (fileIndex == -1)
	fileIndex = 0;
	if (dotIndex == -1)
	dotIndex = remotePath.length();
	// if I have a separator and no dot: /a/b/c -> c
	// if my separator is the last /a/b/c/, fileIndex and dotIndex are the same, so it will return the default temp name
	String name =
	(fileIndex < dotIndex)
	? remotePath.substring(fileIndex, dotIndex)
	: "Eclipse_Update_TMP_";
	//$NON-NLS-1$
	String result = name + date.getTime() + ext;
	return result;
	}

	/**
	* remove a file or directory from the file system.
	* used to clean up install
	*/
	public static void removeFromFileSystem(File file) {
	if (!file.exists())
	return;

	if (file.isDirectory()) {
	String[] files = file.list();
	if (files != null) // be careful since file.list() can return null
	for (int i = 0; i < files.length; ++i)
	removeFromFileSystem(new File(file, files[i]));
	}

	if (!file.delete()) {
	String msg =
	Policy.bind("UpdateManagerUtils.UnableToRemoveFile", file.getAbsolutePath());
	//$NON-NLS-1$ //$NON-NLS-2$
	UpdateManagerPlugin.log(msg,new Exception());
	}
	}


	/**
	* remove all the empty directories recursively
	* used to clean up install
	*/
	public static void removeEmptyDirectoriesFromFileSystem(File file) {
	if (!file.isDirectory())
	return;

	File childDir;
	String[] files = file.list();
	if (files != null){ // be careful since file.list() can return null
	for (int i = 0; i < files.length; ++i){
	removeEmptyDirectoriesFromFileSystem(new File(file, files[i]));
	}
	}
	if (!file.delete()) {
	String msg =
	Policy.bind("UpdateManagerUtils.UnableToRemoveFile", file.getAbsolutePath());
	//$NON-NLS-1$ //$NON-NLS-2$
	UpdateManagerPlugin.log(msg,new Exception());
	}
	}

	/**
	* Returns the plugin entries that are in source array and
	* not in target array
	*/
	public static IPluginEntry[] diff(
	IPluginEntry[] sourceArray,
	IPluginEntry[] targetArray) { // No pluginEntry to Install, return Nothing to instal
	if (sourceArray == null \|\| sourceArray.length == 0) {
	return new IPluginEntry[0];
	} // No pluginEntry installed, Install them all
	if (targetArray == null \|\| targetArray.length == 0) {
	return sourceArray;
	} // if a IPluginEntry from sourceArray is NOT in
	// targetArray, add it to the list
	List list1 = Arrays.asList(targetArray);
	List result = new ArrayList(0);
	for (int i = 0; i < sourceArray.length; i++) {
	if (!list1.contains(sourceArray[i]))
	result.add(sourceArray[i]);
	}

	IPluginEntry[] resultEntry = new IPluginEntry[result.size()];
	if (result.size() > 0)
	result.toArray(resultEntry);
	return resultEntry;
	}

	/**
	* 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 = "";
	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;
	}

	/**
	*
	*/
	public static URL asDirectoryURL(URL url) throws MalformedURLException {
	//url = URLEncoder.encode(url);
	String path = url.getFile();
	if (!path.endsWith("/")) {
	int index = path.lastIndexOf('/');
	if (index != -1)
	path = path.substring(0, index + 1);
	// ignore any ref in original URL
	url = new URL(url.getProtocol(), url.getHost(), url.getPort(), path);
	}
	return url;
	}
	}