public interface Repository
A repository supports the following fundamental operations
get(java.lang.String, java.io.File)
retrieves a resource specified by a provided identifier creating a new file .
put(org.apache.ivy.core.module.descriptor.Artifact, java.io.File, java.lang.String, boolean)
transfers a file to the repository.
list(java.lang.String)
returns a listing of file like objects belonging to a specified parent directory.
Modifier and Type | Method and Description |
---|---|
void |
addTransferListener(TransferListener listener)
Add a listener to the repository.
|
void |
get(java.lang.String source,
java.io.File destination)
Fetch a resource from the repository.
|
java.lang.String |
getFileSeparator()
Get the repository's file separator string.
|
java.lang.String |
getName()
Return the name of the repository
|
Resource |
getResource(java.lang.String source)
Return the resource associated with a specified identifier.
|
boolean |
hasTransferListener(TransferListener listener)
Determine if a given listener is attached to the repository.
|
java.util.List |
list(java.lang.String parent)
Return a listing of resources names
|
void |
put(Artifact artifact,
java.io.File source,
java.lang.String destination,
boolean overwrite)
Transfer a resource to the repository
|
void |
removeTransferListener(TransferListener listener)
Remove a listener on the repository
|
java.lang.String |
standardize(java.lang.String source)
Normalize a string.
|
Resource getResource(java.lang.String source) throws java.io.IOException
source
- A string identifying the resource.java.io.IOException
- On error while trying to get resource.void get(java.lang.String source, java.io.File destination) throws java.io.IOException
source
- A string identifying the resource to be fetched.destination
- Where to place the fetched resource.java.io.IOException
- On retrieval failure.void put(Artifact artifact, java.io.File source, java.lang.String destination, boolean overwrite) throws java.io.IOException
artifact
- The artifact to be transferred.source
- The local file to be transferred.destination
- Where to transfer the resource.overwrite
- Whether the transfer should overwrite an existing resource.java.io.IOException
- On publication failure.java.util.List list(java.lang.String parent) throws java.io.IOException
parent
- The parent directory from which to generate the listing.java.io.IOException
- On listing failure.void addTransferListener(TransferListener listener)
listener
- The listener to attach to the repository.void removeTransferListener(TransferListener listener)
listener
- The listener to removeboolean hasTransferListener(TransferListener listener)
listener
- The listener being queriedtrue
if the provided listener is attached to the repository,
false
if not.java.lang.String getFileSeparator()
java.lang.String standardize(java.lang.String source)
source
- The string to normalize.java.lang.String getName()