public interface ConsoleState
| Modifier and Type | Method and Description |
|---|---|
String |
getApplicationName()
Get application name
|
File |
getDataDirectory()
Get repository data directory
|
org.eclipse.rdf4j.repository.manager.RepositoryManager |
getManager()
Get repository manager
|
String |
getManagerID()
Get repository manager ID
|
org.eclipse.rdf4j.repository.Repository |
getRepository()
Get repository
|
String |
getRepositoryID()
Get repository ID
|
void |
setManager(org.eclipse.rdf4j.repository.manager.RepositoryManager manager)
Set repository manager
|
void |
setManagerID(String managerID)
Set repository manager
|
void |
setRepository(org.eclipse.rdf4j.repository.Repository repository)
Set repository
|
void |
setRepositoryID(String repositoryID)
Set repository ID
|
String getApplicationName()
File getDataDirectory()
String getManagerID()
String getRepositoryID()
org.eclipse.rdf4j.repository.manager.RepositoryManager getManager()
void setManager(org.eclipse.rdf4j.repository.manager.RepositoryManager manager)
manager - repository managervoid setManagerID(String managerID)
managerID - repository manager IDorg.eclipse.rdf4j.repository.Repository getRepository()
void setRepositoryID(String repositoryID)
repositoryID - repository IDvoid setRepository(org.eclipse.rdf4j.repository.Repository repository)
repository - repositoryCopyright © 2015-2018 Eclipse Foundation. All Rights Reserved.