Operation void
savesegversion (int nr, int snr), in Class
ShadowSegment
Protocol
Qualification
Exceptions
Systemerror
Size
Time
Concurrency
Sequential
Export Control
PrivateAccess
Preconditions
Postconditions
Semantics