Operation bool SaveUncompleteNew (), in Class RACE_Depository

Documentation
Renames the former new file to the second File
The Logfilereader reads it after the old
Returns true it the Second file exists. It looks bad


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics