📄 manager.java
字号:
package javax.media;
public final class Manager extends Object {
public static final String UNKNOWN_CONTENT_NAME = "Unknown content";
public static Player createPlayer(java.net.URL sourceURL)
throws java.io.IOException, NoPlayerException {
return null;
}
public static Player createPlayer(MediaLocator sourceLocator)
throws java.io.IOException, NoPlayerException {
return null;
}
public static Player createPlayer(javax.media.protocol.DataSource source)
throws java.io.IOException, NoPlayerException {
return null;
}
public static javax.media.protocol.DataSource createDataSource(java.net.URL sourceURL)
throws java.io.IOException, NoDataSourceException {
return null;
}
public static javax.media.protocol.DataSource createDataSource(MediaLocator sourceLocator)
throws java.io.IOException, NoDataSourceException {
return null;
}
public static TimeBase getSystemTimeBase() {
return null;
}
public static java.util.Vector getHandlerClassList(String contentName) {
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -