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