public class RepositoryProvider extends Object
RepositoryManager
s 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.RepositoryConfigException
RepositoryException
public 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
.RepositoryConfigException
RepositoryException
public 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.RepositoryConfigException
RepositoryException
public 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.RepositoryException
RepositoryConfigException
Copyright © 2015-2019 Eclipse Foundation. All Rights Reserved.