List of usage examples for org.eclipse.jdt.internal.core.index IndexLocation fileName
public abstract String fileName();
From source file:com.codenvy.ide.ext.java.server.internal.core.search.indexing.IndexManager.java
License:Open Source License
private void writeSavedIndexNamesFile() { BufferedWriter writer = null; try {/*from w w w .j av a 2s. c o m*/ writer = new BufferedWriter(new FileWriter(this.savedIndexNamesFile)); writer.write(DiskIndex.SIGNATURE); writer.write('+'); writer.write(getJavaPluginWorkingLocation().toOSString()); writer.write('\n'); Object[] keys = this.indexStates.keyTable; Object[] states = this.indexStates.valueTable; for (int i = 0, l = states.length; i < l; i++) { IndexLocation key = (IndexLocation) keys[i]; if (key != null && states[i] == SAVED_STATE) { writer.write(key.fileName()); writer.write('\n'); } } } catch (IOException ignored) { if (VERBOSE) Util.verbose("Failed to write saved index file names", System.err); //$NON-NLS-1$ } finally { if (writer != null) { try { writer.close(); } catch (IOException e) { // ignore } } } }