URL fbkURL;
/** Index data loaded from the .fbi file. */
- FbsEntryPoint[] idx;
+ FbsEntryPoint[] indexData;
int numIndexRecords;
FbsConnection(String fbsLocation, String indexLocationPrefix, Applet applet)
}
// Try to load the .fbi index file.
- idx = null;
+ indexData = null;
numIndexRecords = 0;
loadIndex();
}
}
/**
- * Load index data from .fbi file to {@link #idx idx}.
+ * Load index data from .fbi file to {@link #indexData indexData}.
*/
private void loadIndex() {
// Loading .fbi makes sense only if both .fbi and .fbk files are available.
System.err.println("Could not load index: failed to load .fbi file");
return;
}
- idx = newIndex;
+ indexData = newIndex;
numIndexRecords = numRecordsRead;
System.err.println("Loaded index data, " + numRecordsRead + " records");
}