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