Fennel: FuzzyCheckpointSet Class Reference (original) (raw)

Tests the predicate.

Parameters:

page the page to be considered

Returns:

true iff the page satisfies the predicate

Implements PagePredicate.

Definition at line 51 of file FuzzyCheckpointSet.cpp.

References CachePage::isDirty(), newDirtyPages, oldDirtyPages, and pDelegatePagePredicate.

00052 { 00053 if (!page.isDirty()) { 00054 return false; 00055 } 00056 if (pDelegatePagePredicate && !(*pDelegatePagePredicate)(page)) { 00057 return false; 00058 } 00059 BlockId blockId = page.getBlockId(); 00060 newDirtyPages.push_back(blockId); 00061 return (oldDirtyPages.find(blockId) != oldDirtyPages.end()); 00062 }