public class RepositoryManager extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
RESOURCEBUNDLE_DIR |
Constructor and Description |
---|
RepositoryManager()
default constructor
|
Modifier and Type | Method and Description |
---|---|
static RepositoryManager |
getInstance()
Returns a singleton instance of this class
|
java.util.Vector<Repository> |
getRepositories()
return the list of repositories
|
Repository |
getRepository(java.lang.String name)
returns the repository with the given name. if it doesn't exist, this
method returns null.
|
Repository |
getSaveRepository()
return the repository that is currently marked as the save repository
|
java.util.Iterator<Repository> |
repositoryList()
return the list of repositories
|
void |
setSaveRepository(Repository rep)
set the repository that should be saved to.
|
void |
setSearchNone() |
public static final java.lang.String RESOURCEBUNDLE_DIR
public RepositoryManager() throws java.io.IOException, java.lang.Exception
java.io.IOException
java.lang.Exception
public static RepositoryManager getInstance() throws java.io.IOException, java.lang.Exception
java.io.IOException
java.lang.Exception
public java.util.Iterator<Repository> repositoryList()
public java.util.Vector<Repository> getRepositories()
public void setSearchNone()
public Repository getRepository(java.lang.String name)
public Repository getSaveRepository()
public void setSaveRepository(Repository rep)