Operation void
Recover (), in Class
RACE_Depot
Documentation
reading the old Depository and feeding the collector
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics
Messages
Recover( )