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 © 2001–2015 Aduna. All rights reserved.