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