Class URLUtil
java.lang.Object
com.fasterxml.aalto.util.URLUtil
-
Method Summary
Modifier and TypeMethodDescriptionstatic Stringstatic URLThis method is added because the default conversion usingfile.toURL()turns out to be rather slow, as it tries to figure out if the file is actually a directory.static InputStreaminputStreamFromURL(URL url) Method that tries to get a stream (ideally, optimal one) to read from the specified URL.static OutputStreamoutputStreamFromURL(URL url) Method that tries to get a stream (ideally, optimal one) to write to the resource specified by given URL.static URLMethod that tries to create and return URL that denotes current working directory.static URLurlFromSystemId(String sysId) Method that tries to figure out how to create valid URL from a system id, without additional contextual information.static URLurlFromSystemId(String sysId, URL ctxt) static StringurlToSystemId(URL u)
-
Method Details
-
urlFromSystemId
Method that tries to figure out how to create valid URL from a system id, without additional contextual information. We could perhaps use java.net.URI class in future?- Throws:
IOException
-
urlFromSystemId
- Throws:
IOException
-
urlFromCurrentDir
Method that tries to create and return URL that denotes current working directory. Usually used to create a context, when one is not explicitly passed.- Throws:
IOException
-
inputStreamFromURL
Method that tries to get a stream (ideally, optimal one) to read from the specified URL. Currently it just means creating a simple file input stream if the URL points to a (local) file, and otherwise relying on URL classes input stream creation method.- Throws:
IOException
-
outputStreamFromURL
Method that tries to get a stream (ideally, optimal one) to write to the resource specified by given URL. Currently it just means creating a simple file output stream if the URL points to a (local) file, and otherwise relying on URL classes input stream creation method.- Throws:
IOException
-
fileToURL
This method is added because the default conversion usingfile.toURL()turns out to be rather slow, as it tries to figure out if the file is actually a directory. Now, for our use cases this is irrelevant, so we can optimize out that expensive part.- Throws:
IOException
-
fileToSystemId
- Throws:
IOException
-
urlToSystemId
-