Operation void destructor (), in Class BASE_CLASS

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlImplementationAccess  


Preconditions


Postconditions


Semantics