java.lang.Object
org.tigris.gef.util.Util
- public class Util
- extends java.lang.Object
|
Constructor Summary |
private |
Util()
No public constructor, this is a utility class with all static
methods, so you never need an instance. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Util
private Util()
- No public constructor, this is a utility class with all static
methods, so you never need an instance.
filenameToURI
public static final java.lang.String filenameToURI(java.lang.String str)
- Fixes a platform dependent filename to standard URI form.
fileToURL
public static final java.net.URL fileToURL(java.io.File file)
throws java.net.MalformedURLException,
java.io.IOException
fixURLExtension
public static final java.net.URL fixURLExtension(java.net.URL url,
java.lang.String desiredExtension)
exchangeURLExtension
public static final java.net.URL exchangeURLExtension(java.net.URL url,
java.lang.String desiredExtension,
java.lang.String oldExtension)
stripJunk
public static final java.lang.String stripJunk(java.lang.String s)
URIToFilename
public static final java.lang.String URIToFilename(java.lang.String str)
- Fixes a platform dependent filename to standard URI form.
URLToFile
public static final java.io.File URLToFile(java.net.URL url)
throws java.net.MalformedURLException
URLToShortName
public static final java.lang.String URLToShortName(java.net.URL url)