Operation void
unprotect (int pageno), in Class
ReliableSegment
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
ProtectedAccess
Preconditions
Postconditions
Semantics