Operation void init (int err, char * pcall, char * msg, va_list args), in Class Systemerror

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics