public class JarRepository extends AbstractRepository
| Constructor and Description |
|---|
JarRepository() |
| Modifier and Type | Method and Description |
|---|---|
void |
get(java.lang.String source,
java.io.File destination)
Fetch a resource from the repository.
|
protected RepositoryCopyProgressListener |
getProgressListener() |
Resource |
getResource(java.lang.String source)
Return the resource associated with a specified identifier.
|
java.util.List |
list(java.lang.String parent)
Return a listing of resources names
|
void |
setJarFile(java.util.jar.JarFile jarFile) |
addTransferListener, fireTransferCompleted, fireTransferCompleted, fireTransferError, fireTransferError, fireTransferEvent, fireTransferInitiated, fireTransferProgress, fireTransferStarted, fireTransferStarted, getFileSeparator, getName, hasTransferListener, put, put, removeTransferListener, setName, standardize, toStringpublic void setJarFile(java.util.jar.JarFile jarFile)
public Resource getResource(java.lang.String source) throws java.io.IOException
Repositorysource - A string identifying the resource.java.io.IOException - On error while trying to get resource.protected RepositoryCopyProgressListener getProgressListener()
public void get(java.lang.String source,
java.io.File destination)
throws java.io.IOException
Repositorysource - A string identifying the resource to be fetched.destination - Where to place the fetched resource.java.io.IOException - On retrieval failure.public java.util.List list(java.lang.String parent)
throws java.io.IOException
Repositoryparent - The parent directory from which to generate the listing.java.io.IOException - On listing failure.