📄 htmlconnection.java
字号:
package html_connection;
import java.io.BufferedInputStream;
import java.io.FileInputStream;
import java.io.IOException;
import java.net.URL;
import java.net.URLConnection;
public class HtmlConnection {
private BufferedInputStream is;
public HtmlConnection( URL url ) throws IOException{
if (url.getProtocol().equals("file")) {
is = new BufferedInputStream( new FileInputStream(url.getPath()) );
} else {
URLConnection urlcon=url.openConnection();
is = new BufferedInputStream ( urlcon.getInputStream() );
}
}
public BufferedInputStream getInputStream() {
return is;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -