private void writeSavedIndexNamesFile() { Object[] keys = this.indexStates.keyTable; Object[] states = this.indexStates.valueTable; int numToSave = 0; for (int i = 0, l = states.length; i < l; i++) { IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { numToSave++; } } char[][] arrays = new char[numToSave][]; int idx = 0; for (int i = 0, l = states.length; i < l; i++) { IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { arrays[idx++] = key.fileName().toCharArray(); } } this.nameRegistry.write(arrays); } }
private void writeSavedIndexNamesFile() { Object[] keys = this.indexStates.keyTable; Object[] states = this.indexStates.valueTable; int numToSave = 0; for (int i = 0, l = states.length; i < l; i++) { IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { numToSave++; } } char[][] arrays = new char[numToSave][]; int idx = 0; for (int i = 0, l = states.length; i < l; i++) { IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { arrays[idx++] = key.fileName().toCharArray(); } } this.nameRegistry.write(arrays); } }
IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { writer.write(key.fileName()); writer.write('\n');
IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { writer.write(key.fileName()); writer.write('\n');
IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { writer.write(key.fileName()); writer.write('\n');