Operation void InformInsert (), in Class RACE_SnapshotTrigger

Documentation
This is called in the InformOffset()-Callback when the Dumpable
is written or discarded
In the view of the Snapshottrigger, there is no difference
between Inserting and Discarding


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics


MessagesInformInsert( )InformInsert( )