This module maintains a per-user, persistent table of key-value pairs.
INTERFACEUserState ; PROCEDURE Get (key: TEXT): TEXT;
Returns the value, if any, associated withkey
. Otherwise, it returnsNIL
.
PROCEDURE Put (key, value: TEXT);
Associates the pair (key
,value
) and updates the persistent storage.
PROCEDURE Init (dir: TEXT);
Initialize the persistent table from the contents of dir
.
END UserState.