public class Repository
extends java.lang.Object
Constructor and Description |
---|
Repository() |
Repository(java.lang.String fn) |
Modifier and Type | Method and Description |
---|---|
void |
copyFrom(Repository rep) |
boolean |
existUtilitySpace(Domain domain,
ProfileRepItem profile) |
static Repository |
get_agent_repos(java.lang.String filename,
java.lang.String sourceFolder) |
static Repository |
get_agent_repository() |
static Repository |
get_domain_repos()
code that creates repos if none exists
|
static Repository |
get_domain_repos(java.lang.String filename,
java.lang.String sourceFolder) |
static Repository |
get_party_repository() |
AgentRepItem |
getAgentOfClass(java.lang.String className) |
Domain |
getDomain(DomainRepItem domainRepItem) |
Domain |
getDomain(java.lang.String file) |
static DomainRepItem |
getDomainByName(java.lang.String name) |
java.lang.String |
getFilename() |
RepItem |
getItemByName(java.lang.String name) |
java.util.ArrayList<RepItem> |
getItems() |
static Repository |
getMultiPartyProtocolRepository() |
PartyRepItem |
getPartyOfClass(java.lang.String className) |
static Repository |
getProtocolRepository() |
static Repository |
getProtocolRepository(java.lang.String filename,
java.lang.String sourceFolder) |
AbstractUtilitySpace |
getUtilitySpace(Domain domain,
ProfileRepItem profile) |
AbstractUtilitySpace |
getUtilitySpace(Domain domain,
java.lang.String file) |
Repository |
load(java.lang.String fileName) |
boolean |
removeProfileRepItem(ProfileRepItem item) |
void |
save()
Save this to the file.
|
void |
setFilename(java.lang.String fn) |
java.lang.String |
toString() |
public Repository()
public Repository(java.lang.String fn) throws RepositoryException
RepositoryException
public void setFilename(java.lang.String fn)
public java.lang.String getFilename()
public void copyFrom(Repository rep)
public Repository load(java.lang.String fileName) throws java.lang.Exception
fileName
- the file containing Repository
java.lang.Exception
public void save()
setFilename(String)
.public java.util.ArrayList<RepItem> getItems()
public AgentRepItem getAgentOfClass(java.lang.String className)
public PartyRepItem getPartyOfClass(java.lang.String className)
className
- the full class name to load.public boolean removeProfileRepItem(ProfileRepItem item)
public java.lang.String toString()
toString
in class java.lang.Object
public static DomainRepItem getDomainByName(java.lang.String name) throws java.lang.Exception
java.lang.Exception
public Domain getDomain(DomainRepItem domainRepItem)
public Domain getDomain(java.lang.String file)
public AbstractUtilitySpace getUtilitySpace(Domain domain, ProfileRepItem profile)
public AbstractUtilitySpace getUtilitySpace(Domain domain, java.lang.String file)
public boolean existUtilitySpace(Domain domain, ProfileRepItem profile)
public static Repository get_domain_repos(java.lang.String filename, java.lang.String sourceFolder) throws RepositoryException
RepositoryException
public static Repository get_domain_repos() throws RepositoryException
RepositoryException
public static Repository getProtocolRepository()
public static Repository getMultiPartyProtocolRepository()
public static Repository getProtocolRepository(java.lang.String filename, java.lang.String sourceFolder) throws java.lang.Exception
java.lang.Exception
public static Repository get_agent_repository()
public static Repository get_party_repository()
public static Repository get_agent_repos(java.lang.String filename, java.lang.String sourceFolder) throws java.lang.Exception
java.lang.Exception
public RepItem getItemByName(java.lang.String name)