final File globalStateFlagFile) throws HeapException {
if (crashSafeMode) {
if (backupDataFile == null || stateOkFlagFile == null
|| stateBackupOkFlagFile == null
|| globalStateFlagFile == null) {
throw new HeapException("files must be defined");
}
this.backupDataFile = backupDataFile;
this.stateOkFlagFile = stateOkFlagFile;
this.stateBackupOkFlagFile = stateBackupOkFlagFile;
this.globalStateFlagFile = globalStateFlagFile;
} else {
throw new HeapException(
"can not setup crash safe if crash safe mode not enabled");
}
}