diff options
Diffstat (limited to 'netx/javax/jnlp/DownloadService.java')
-rw-r--r-- | netx/javax/jnlp/DownloadService.java | 49 |
1 files changed, 31 insertions, 18 deletions
diff --git a/netx/javax/jnlp/DownloadService.java b/netx/javax/jnlp/DownloadService.java index 6710fc6..558b9b4 100644 --- a/netx/javax/jnlp/DownloadService.java +++ b/netx/javax/jnlp/DownloadService.java @@ -1,24 +1,37 @@ - - package javax.jnlp; public interface DownloadService { - public boolean isResourceCached(java.net.URL ref, java.lang.String version); - public boolean isPartCached(java.lang.String part); - public boolean isPartCached(java.lang.String[] parts); - public boolean isExtensionPartCached(java.net.URL ref, java.lang.String version, java.lang.String part); - public boolean isExtensionPartCached(java.net.URL ref, java.lang.String version, java.lang.String[] parts); - public void loadResource(java.net.URL ref, java.lang.String version, DownloadServiceListener progress) throws java.io.IOException; - public void loadPart(java.lang.String part, DownloadServiceListener progress) throws java.io.IOException; - public void loadPart(java.lang.String[] parts, DownloadServiceListener progress) throws java.io.IOException; - public void loadExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String part, DownloadServiceListener progress) throws java.io.IOException; - public void loadExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String[] parts, DownloadServiceListener progress) throws java.io.IOException; - public void removeResource(java.net.URL ref, java.lang.String version) throws java.io.IOException; - public void removePart(java.lang.String part) throws java.io.IOException; - public void removePart(java.lang.String[] parts) throws java.io.IOException; - public void removeExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String part) throws java.io.IOException; - public void removeExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String[] parts) throws java.io.IOException; - public DownloadServiceListener getDefaultProgressWindow(); + public boolean isResourceCached(java.net.URL ref, java.lang.String version); + + public boolean isPartCached(java.lang.String part); + + public boolean isPartCached(java.lang.String[] parts); + + public boolean isExtensionPartCached(java.net.URL ref, java.lang.String version, java.lang.String part); + + public boolean isExtensionPartCached(java.net.URL ref, java.lang.String version, java.lang.String[] parts); + + public void loadResource(java.net.URL ref, java.lang.String version, DownloadServiceListener progress) throws java.io.IOException; + + public void loadPart(java.lang.String part, DownloadServiceListener progress) throws java.io.IOException; + + public void loadPart(java.lang.String[] parts, DownloadServiceListener progress) throws java.io.IOException; + + public void loadExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String part, DownloadServiceListener progress) throws java.io.IOException; + + public void loadExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String[] parts, DownloadServiceListener progress) throws java.io.IOException; + + public void removeResource(java.net.URL ref, java.lang.String version) throws java.io.IOException; + + public void removePart(java.lang.String part) throws java.io.IOException; + + public void removePart(java.lang.String[] parts) throws java.io.IOException; + + public void removeExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String part) throws java.io.IOException; + + public void removeExtensionPart(java.net.URL ref, java.lang.String version, java.lang.String[] parts) throws java.io.IOException; + + public DownloadServiceListener getDefaultProgressWindow(); } |