/*
* $Id$
*
* Copyright (c) 2008-2009 by Joel Uckelman
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Library General Public
* License (LGPL) as published by the Free Software Foundation.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Library General Public License for more details.
*
* You should have received a copy of the GNU Library General Public
* License along with this library; if not, copies are available
* at http://www.opensource.org.
*/
package VASSAL.tools;
import java.io.File;
import java.net.MalformedURLException;
import java.net.URL;
/**
* @author Joel Uckelman
* @since 3.1.0
*/
public class URLUtils {
private URLUtils() {}
/**
* Returns a URL corresponding to a file.
*
* @param f the file for which the URL is wanted
* @return the URL of the file
* @throws MalformedURLException if the URL can't be created
*/
public static URL toURL(String f) throws MalformedURLException {
return toURL(new File(f));
}
/**
* Returns a URL corresponding to a file.
*
* @param f the file for which the URL is wanted
* @return the URL of the file
* @throws MalformedURLException if the URL can't be created
*/
public static URL toURL(File f) throws MalformedURLException {
return f.toURI().toURL();
}
/**
* Returns a URL corresponding to a JAR file.
*
* @param f the JAR file for which the URL is wanted
* @return the URL of the JAR file
* @throws MalformedURLException if the URL can't be created
*/
public static URL toJarURL(String f) throws MalformedURLException {
return toJarURL(new File(f));
}
/**
* Returns a URL corresponding to a JAR file.
*
* @param f the JAR file for which the URL is wanted
* @return the URL of the JAR file
* @throws MalformedURLException if the URL can't be created
*/
public static URL toJarURL(File f) throws MalformedURLException {
// As as workaround for Sun Bug 4523159, we urlencode all '!' in
// our inner URL to prevent these from being misinterpreted by
// Class.getResourceAsStream() as the JAR marker "!/".
return new URL("jar:" + toURL(f).toString().replace("!", "%21") + "!/");
}
}