public Page ReadPage(Transaction tx, int scratchNumber, long p, PagerState pagerState = null)
{
ScratchBufferFile bufferFile;
ScratchBufferCacheItem item = lastScratchBuffer;
if (item.Number == scratchNumber)
{
bufferFile = item.File;
}
else
{
bufferFile = _scratchBuffers[scratchNumber];
lastScratchBuffer = new ScratchBufferCacheItem(scratchNumber, bufferFile);
}
return(bufferFile.ReadPage(tx, p, pagerState));
}
public Page ReadPage(int scratchNumber, long p, PagerState pagerState = null)
{
ScratchBufferFile bufferFile;
ScratchBufferCacheItem item = lastScratchBuffer;
if ( item.Number == scratchNumber )
{
bufferFile = item.File;
}
else
{
bufferFile = _scratchBuffers[scratchNumber];
lastScratchBuffer = new ScratchBufferCacheItem( scratchNumber, bufferFile );
}
return bufferFile.ReadPage(p, pagerState);
}
