Operation void
init (int argc, char ** argv), in Class
RACE_Semantik_Factory
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics