Operation void LogSwitch (), in Class RACE_Accumulator

Documentation
reset the internal state for the switching the logfile


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesLogSwitch( )