public class RepositoryProvider extends Object
RepositoryManagers and Repositories. RepositoryProvider
ensures that all managers and repositories obtained through it are automatically shutdown when the JVM exits.| Constructor and Description |
|---|
RepositoryProvider() |
| Modifier and Type | Method and Description |
|---|---|
static Repository |
getRepository(String url)
Retrieves a (new or existing) Repository object for the supplied repository URL.
|
static String |
getRepositoryIdOfRepository(String url)
Retrieves the Repository ID that will be passed to a RepositoryManager for the given repository URL.
|
static LocalRepositoryManager |
getRepositoryManager(File dir)
Creates a
LocalRepositoryManager, if not already created, that will be shutdown when the JVM exits
cleanly. |
static RepositoryManager |
getRepositoryManager(String url)
Creates a
RepositoryManager, if not already created, that will be shutdown when the JVM exits cleanly. |
static RepositoryManager |
getRepositoryManagerOfRepository(String url)
Retrieves the
RepositoryManager that will be used for the given repository URL. |
public static RepositoryManager getRepositoryManager(String url) throws RepositoryConfigException, RepositoryException
RepositoryManager, if not already created, that will be shutdown when the JVM exits cleanly.url - location of the data directory for the RepositoryManager. This should be a URL of the form
http://host:port/path/ (for a RemoteRepositoryManager) or file:///path/ (for a
LocalRepositoryManager).RepositoryManager using the supplied url as its data dir.RepositoryConfigExceptionRepositoryExceptionpublic static LocalRepositoryManager getRepositoryManager(File dir) throws RepositoryConfigException, RepositoryException
LocalRepositoryManager, if not already created, that will be shutdown when the JVM exits
cleanly.dir - the data directory for the repository manager.LocalRepositoryManager.RepositoryConfigExceptionRepositoryExceptionpublic static RepositoryManager getRepositoryManagerOfRepository(String url) throws RepositoryConfigException, RepositoryException
RepositoryManager that will be used for the given repository URL. Creates a
RepositoryManager, if not already created, that will be shutdown when the JVM exits cleanly.url - the location of the repository for which to retrieve the corresponding RepositoryManager. The
parameter must be a URL of the form http://host:port/path/repositories/id or
file:///path/repositories/id.RepositoryManager that manages the repository identified by the URL.IllegalArgumentException - if the supplied URL is not a repository URL.RepositoryConfigExceptionRepositoryExceptionpublic static String getRepositoryIdOfRepository(String url)
url - the location URL for the repository. The parameter must be a URL of the form
http://host:port/path/repositories/id or file:///path/repositories/id.IllegalArgumentException - if the supplied URL is not a repository URL.public static Repository getRepository(String url) throws RepositoryException, RepositoryConfigException
url - the repository URL. The parameter must be a URL of the form http://host:port/path/repositories/id or
file:///path/repositories/id.RepositoryExceptionRepositoryConfigExceptionCopyright © 2015-2022 Eclipse Foundation. All Rights Reserved.