Operation void
<<virtual>> Discard (), in Class RACE_Dumpable
Documentation
If a Dumpable is discarded, potentaly some work has to be done,
for instance
* a snapshot waits for it,
* a statistic, on which a strategy can calculate
if the next Dumpable should be despensable
Protocol | | Qualification | |
Exceptions | | Size | |
Time | | Concurrency | Sequential |
Export Control | PublicAccess | | |
Preconditions
Postconditions
Semantics