Operation void Flush (), in Class RACE_Accumulator

Documentation
force the writing the collected blocks to the Writer


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesFlush( )Flush( )