Operation void <<virtual>> SwitchPart (), in Class RACE_Depot

Documentation
this is the reason of RACE_Depot is a RACE_Depository
since the Logger should call this


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics