private void prepareExecution()
{
if (this.databaseIndexCache == null)
{
this.databaseIndexCache = new IndexCache(this.inputFile, INDEX_CACHE_SIZE);
}
}
/**
* Closes the map file and destroys all internal caches. Has no effect if no map file is currently opened.
*/
public void CloseFile()
{
this.mapFileHeader = null;
if (this.databaseIndexCache != null)
{
this.databaseIndexCache = null;
}
if (this.inputFile != null)
{
this.inputFile.Close();
this.inputFile = null;
}
this.readBuffer = null;
}
