Operation void seekcorrection (off_t newoffset), in Class ReadBuffer

Documentation
if we change the position in the Logfile, we have to begin
on a new page and correct the offset.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


Messagesseekcorrection( )