Operation void <<virtual>> KeyValueInsertCallback (const Gdat& key, RACE_LogfileOffset off), in Class LoggerSnapshotConnection

Documentation
This is the Callback for Single KeyValues.
REMARK: Perhaps the Inheritance.Hierarchie could be refined
REMARK: If the entities are received out of sequence, a timestamp
may a additional parameter here


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics