Operation Entry *
GenNewEntry (time_t timestamp, int pending), in Class
RACE_SnapshotQueue
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
ProtectedAccess
Preconditions
Postconditions
Semantics