@Override
public void logIdUsage(StringLogger.LineLogger logger) {
super.logIdUsage(logger);
propertyIndexStore.logIdUsage(logger);
stringPropertyStore.logIdUsage(logger);
arrayPropertyStore.logIdUsage(logger);
}
@Override
protected void unsetRecovered() {
super.unsetRecovered();
stringPropertyStore.unsetRecovered();
propertyIndexStore.unsetRecovered();
arrayPropertyStore.unsetRecovered();
}
@Override
public void rebuildIdGenerators() {
propertyIndexStore.rebuildIdGenerators();
stringPropertyStore.rebuildIdGenerators();
arrayPropertyStore.rebuildIdGenerators();
super.rebuildIdGenerators();
}
@Override
public void makeStoreOk() {
propertyIndexStore.makeStoreOk();
stringPropertyStore.makeStoreOk();
arrayPropertyStore.makeStoreOk();
super.makeStoreOk();
}
@Override
public void flushAll() {
stringPropertyStore.flushAll();
propertyIndexStore.flushAll();
arrayPropertyStore.flushAll();
super.flushAll();
}
@Override
protected void closeStorage() {
if (stringPropertyStore != null) {
stringPropertyStore.close();
stringPropertyStore = null;
}
if (propertyIndexStore != null) {
propertyIndexStore.close();
propertyIndexStore = null;
}
if (arrayPropertyStore != null) {
arrayPropertyStore.close();
arrayPropertyStore = null;
}
}
public void updateIdGenerators() {
propertyIndexStore.updateIdGenerators();
stringPropertyStore.updateHighId();
arrayPropertyStore.updateHighId();
this.updateHighId();
}
