virtual void invoke(logrec_t& r) { PageID pid = r.pid(); if (pid != currentPage) { dumpCurrent(); logrecs = 0; volume = 0; currentPage = pid; pageCount++; } logrecs++; volume += r.length(); }