Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

org.tigris.gef.util
Class Util  view Util download Util.java

java.lang.Object
  extended byorg.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.
 
Method Summary
static java.net.URL exchangeURLExtension(java.net.URL url, java.lang.String desiredExtension, java.lang.String oldExtension)
           
static java.lang.String filenameToURI(java.lang.String str)
          Fixes a platform dependent filename to standard URI form.
static java.net.URL fileToURL(java.io.File file)
           
static java.net.URL fixURLExtension(java.net.URL url, java.lang.String desiredExtension)
           
static java.lang.String stripJunk(java.lang.String s)
           
static java.lang.String URIToFilename(java.lang.String str)
          Fixes a platform dependent filename to standard URI form.
static java.io.File URLToFile(java.net.URL url)
           
static java.lang.String URLToShortName(java.net.URL url)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Util

private Util()
No public constructor, this is a utility class with all static methods, so you never need an instance.

Method Detail

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)