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