Operation void Seek (RACE_LogfileOffset offset), in Class LogFileReader

Documentation
Set the position of the logfile to offset.


Protocol Qualification 
ExceptionsReadErrorSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesSeek( )