static final class InstanceDomain.InstanceDomainStore extends PcpMmvWriter.Store<InstanceDomain>
| Modifier and Type | Field and Description |
|---|---|
private InstanceStoreFactory |
instanceStoreFactory |
identifierSource| Constructor and Description |
|---|
InstanceDomainStore(IdentifierSourceSet identifierSources,
InstanceStoreFactory instanceStoreFactory) |
| Modifier and Type | Method and Description |
|---|---|
protected InstanceDomain |
newInstance(java.lang.String name,
java.util.Set<java.lang.Integer> usedIds) |
all, byName, sizeprivate InstanceStoreFactory instanceStoreFactory
InstanceDomainStore(IdentifierSourceSet identifierSources, InstanceStoreFactory instanceStoreFactory)
protected InstanceDomain newInstance(java.lang.String name, java.util.Set<java.lang.Integer> usedIds)
newInstance in class PcpMmvWriter.Store<InstanceDomain>