📄 urldatasource.java
字号:
package javax.media.protocol;
public class URLDataSource extends PullDataSource {
protected java.net.URLConnection conn;
protected ContentDescriptor contentType;
protected SourceStream sources[];
protected boolean connected;
protected URLDataSource() {}
public URLDataSource(java.net.URL url) throws java.io.IOException {}
public PullSourceStream[] getStreams() {
return null;
}
public void connect() throws java.io.IOException {}
public void disconnect() {}
public String getContentType() {
return null;
}
public void start() throws java.io.IOException {}
public void stop() throws java.io.IOException {}
public javax.media.Time getDuration() {
return null;
}
public Object[] getControls() {
return new Object[0];
}
public Object getControl(String controlName) {
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -