📄 e133. converting between a url and a uri.txt
字号:
URI uri = null;
URL url = null;
// Create a URI
try {
uri = new URI("file://D:/almanac1.4/Ex1.java");
} catch (URISyntaxException e) {
}
// Convert an absolute URI to a URL
try {
url = uri.toURL();
} catch (IllegalArgumentException e) {
// URI was not absolute
} catch (MalformedURLException e) {
}
// Convert a URL to a URI
try {
uri = new URI(url.toString());
} catch (URISyntaxException e) {
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -