Operation RACE_LogIndexLayoutoperator[] (unsigned long i), in Class RACE_LogIndexPositioner

Documentation
gets the i-th entry


Protocol Qualification 
ExceptionsRACE_LogIndexPositioner::RangeErrorSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics