Operation void
cond_message (bool validity, char * msg, ... ), in Class
component
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics