NamesGVExtras.Mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Last modified by Swinehart, July 15, 1986 9:06:08 am PDT
DIRECTORY
BasicTime USING [ GMT, nullGMT ],
Rope USING [ ROPE ]
;
NamesGVExtras: CEDAR DEFINITIONS = {
GVSetAttributeTimed: PROC [
rName: Rope.ROPE, attribute: ATOM, value: Rope.ROPE,
time: BasicTime.GMT�sicTime.nullGMT, interval: INT𡤀];
Produces a temporary value for the attribute, which will expire after <time>, or after the specified interval, expressed in seconds. Expiration means that subsequent lookups will not yield the attribute, and that the system is free to eliminate the entry entirely. Before expiration, this entry entirely masks the existence of non-temporary entries with the same key for client reads. A client write to the permanent entry eliminates the timed one.
}.