/** *MapsJavaURLrepresentationstoFilerepresentations. * *@paramurlsomeURL,possiblynull. *@returnacorrespondingFile,ornullonfailure.
*/ publicstatic File mapUrlToFile(URL url) { if (url == null) { returnnull;
} else { try { // where encodedUrl is url.toString(), but since that may contain // unsafe characters (e.g., space, " "), it is encoded, as otherwise // the URI constructor might throw java.net.URISyntaxException (in // Java 1.5, URL.toURI might be used instead).
String encodedUrl = encode(url.toString());
URI uri = new URI(encodedUrl); try { returnnew File(uri);
} catch (IllegalArgumentException e) { returnnull;
}
} catch (URISyntaxException ex) { thrownew RuntimeException(ex); // should never happen
}
}
}
privatestatic String encode(String url) {
StringBuffer buf = new StringBuffer(url.length()); for (int i = 0; i < url.length(); ++i) { char c = url.charAt(i); // The RFC 2732 <uric> characters: !$&'()*+,-./:;=?@[]_~ plus digits // and letters; additionally, do not encode % again. if (c >= 'a' && c <= 'z' || c >= '?' && c <= '['
|| c >= '$' && c <= ';' || c == '!' || c == '=' || c == ']'
|| c == '_' || c == '~')
{
buf.append(c);
} elseif (c == ' ') {
buf.append("%20");
} else { try {
String enc = URLEncoder.encode(Character.toString(c), "UTF-8");
buf.append(enc);
} catch (UnsupportedEncodingException e) { thrownew RuntimeException(e); // should never happen
}
}
} return buf.toString();
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.