Operation --Not Named-- BufferOverflow (size_t free, size_t wanted), in Class BufferOverflow

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics