Operation void InformSnapshot (), in Class RACE_Depot

Documentation
Here the Depot gets informed whan a snapshot is written.
It deletes the old file if exists


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesInformSnapshot( )