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
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics
Messages
seekcorrection( )