public File getIndexFile() { return this.diskIndex == null ? null : this.diskIndex.indexLocation.getIndexFile(); } public IndexLocation getIndexLocation() {
public File getIndexFile() { return this.diskIndex == null ? null : this.diskIndex.indexLocation.getIndexFile(); } public IndexLocation getIndexLocation() {
public File getIndexFile() { return this.diskIndex == null ? null : this.diskIndex.indexLocation.getIndexFile(); } public IndexLocation getIndexLocation() {
public File getIndexFile() { return this.diskIndex == null ? null : this.diskIndex.indexLocation.getIndexFile(); } public IndexLocation getIndexLocation() {
public File getIndexFile() { return this.diskIndex == null ? null : this.diskIndex.indexLocation.getIndexFile(); } public IndexLocation getIndexLocation() {
private void writeOffsetToHeader(int offsetToHeader) throws IOException { if (offsetToHeader > 0) { RandomAccessFile file = new RandomAccessFile(this.indexLocation.getIndexFile(), "rw"); //$NON-NLS-1$ try { file.seek(this.headerInfoOffset); // offset to position in header file.writeInt(offsetToHeader); this.headerInfoOffset = offsetToHeader; // update to reflect the correct offset } finally { file.close(); } } } /**
private void writeOffsetToHeader(int offsetToHeader) throws IOException { if (offsetToHeader > 0) { RandomAccessFile file = new RandomAccessFile(this.indexLocation.getIndexFile(), "rw"); //$NON-NLS-1$ try { file.seek(this.headerInfoOffset); // offset to position in header file.writeInt(offsetToHeader); this.headerInfoOffset = offsetToHeader; // update to reflect the correct offset } finally { file.close(); } } } /**
private void writeOffsetToHeader(int offsetToHeader) throws IOException { if (offsetToHeader > 0) { RandomAccessFile file = new RandomAccessFile(this.indexLocation.getIndexFile(), "rw"); //$NON-NLS-1$ try { file.seek(this.headerInfoOffset); // offset to position in header file.writeInt(offsetToHeader); this.headerInfoOffset = offsetToHeader; // update to reflect the correct offset } finally { file.close(); } } } /**
private void writeOffsetToHeader(int offsetToHeader) throws IOException { if (offsetToHeader > 0) { RandomAccessFile file = new RandomAccessFile(this.indexLocation.getIndexFile(), "rw"); //$NON-NLS-1$ try { file.seek(this.headerInfoOffset); // offset to position in header file.writeInt(offsetToHeader); this.headerInfoOffset = offsetToHeader; // update to reflect the correct offset } finally { file.close(); } } } /**
private void writeOffsetToHeader(int offsetToHeader) throws IOException { if (offsetToHeader > 0) { RandomAccessFile file = new RandomAccessFile(this.indexLocation.getIndexFile(), "rw"); //$NON-NLS-1$ try { file.seek(this.headerInfoOffset); // offset to position in header file.writeInt(offsetToHeader); this.headerInfoOffset = offsetToHeader; // update to reflect the correct offset } finally { file.close(); } } } /**
public IPath[] selectIndexes(SearchPattern pattern, IJavaSearchScope scope) { IndexSelector selector = (IndexSelector) this.indexSelector.get(); if (selector == null) { selector = new IndexSelector(scope, pattern); this.indexSelector.set(selector); } IndexLocation[] urls = selector.getIndexLocations(); IPath[] paths = new IPath[urls.length]; for (int i = 0; i < urls.length; i++) { paths[i] = new Path(urls[i].getIndexFile().getPath()); } return paths; }
public IPath[] selectIndexes(SearchPattern pattern, IJavaSearchScope scope) { IndexSelector selector = (IndexSelector) this.indexSelector.get(); if (selector == null) { selector = new IndexSelector(scope, pattern); this.indexSelector.set(selector); } IndexLocation[] urls = selector.getIndexLocations(); IPath[] paths = new IPath[urls.length]; for (int i = 0; i < urls.length; i++) { paths[i] = new Path(urls[i].getIndexFile().getPath()); } return paths; }
public IPath[] selectIndexes(SearchPattern pattern, IJavaSearchScope scope) { IndexSelector selector = (IndexSelector) this.indexSelector.get(); if (selector == null) { selector = new IndexSelector(scope, pattern); this.indexSelector.set(selector); } IndexLocation[] urls = selector.getIndexLocations(); IPath[] paths = new IPath[urls.length]; for (int i = 0; i < urls.length; i++) { paths[i] = new Path(urls[i].getIndexFile().getPath()); } return paths; }
public IPath[] selectIndexes(SearchPattern pattern, IJavaSearchScope scope) { IndexSelector selector = (IndexSelector) this.indexSelector.get(); if (selector == null) { selector = new IndexSelector(scope, pattern); this.indexSelector.set(selector); } IndexLocation[] urls = selector.getIndexLocations(); IPath[] paths = new IPath[urls.length]; for (int i = 0; i < urls.length; i++) { paths[i] = new Path(urls[i].getIndexFile().getPath()); } return paths; }
@Override public IPath[] selectIndexes(SearchPattern pattern, IJavaSearchScope scope) { IndexSelector selector = (IndexSelector) this.indexSelector.get(); if (selector == null) { selector = new IndexSelector(scope, pattern); this.indexSelector.set(selector); } IndexLocation[] urls = selector.getIndexLocations(); IPath[] paths = new IPath[urls.length]; for (int i = 0; i < urls.length; i++) { paths[i] = new Path(urls[i].getIndexFile().getPath()); } return paths; }
IndexLocation indexFile = (IndexLocation)indexFiles[i]; if (indexFile != null) { writer.write(indexFile.getIndexFile().getPath()); writer.write('\n'); writer.write(((IPath)containers[i]).toOSString());
IndexLocation indexFile = (IndexLocation)indexFiles[i]; if (indexFile != null) { writer.write(indexFile.getIndexFile().getPath()); writer.write('\n'); writer.write(((IPath)containers[i]).toOSString());
IndexLocation indexFile = (IndexLocation)indexFiles[i]; if (indexFile != null) { writer.write(indexFile.getIndexFile().getPath()); writer.write('\n'); writer.write(((IPath)containers[i]).toOSString());
IndexLocation indexFile = (IndexLocation)indexFiles[i]; if (indexFile != null) { writer.write(indexFile.getIndexFile().getPath()); writer.write('\n'); writer.write(((IPath)containers[i]).toOSString());
indexFile = indexLocation.getIndexFile(); // index is not cached yet, but still want to delete the file if (this.indexStates.get(indexLocation) == REUSE_STATE) { indexLocation.close();