static Repository |
Repository.get_agent_repos(java.lang.String filename,
java.lang.String sourceFolder) |
static Repository |
Repository.get_agent_repository() |
static Repository |
Repository.get_domain_repos()
code that creates repos if none exists
|
static Repository |
Repository.get_domain_repos(java.lang.String filename,
java.lang.String sourceFolder) |
static Repository |
Repository.get_party_repository() |
static Repository |
Repository.getMultiPartyProtocolRepository() |
static Repository |
Repository.getProtocolRepository() |
static Repository |
Repository.getProtocolRepository(java.lang.String filename,
java.lang.String sourceFolder) |
Repository |
Repository.load(java.lang.String fileName) |