Operation Octet_t** index2addr (Index_t i), in Class ReadBuffer

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlProtectedAccess  


Preconditions


Postconditions


Semantics