static <T1 extends RepItem> Repository<T1> |
Repository.fromFile(java.lang.String fileName) |
static Repository<AgentRepItem> |
RepositoryFactory.get_agent_repository() |
static Repository<DomainRepItem> |
RepositoryFactory.get_domain_repos() |
static Repository<DomainRepItem> |
RepositoryFactory.get_domain_repos(java.lang.String filename,
java.lang.String sourceFolder) |
static Repository<PartyRepItem> |
RepositoryFactory.get_party_repository() |
static Repository<MultiPartyProtocolRepItem> |
RepositoryFactory.getMultiPartyProtocolRepository() |
static Repository<ProtocolRepItem> |
RepositoryFactory.getProtocolRepository() |