InstallPrivate.Mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Spreitzer, February 21, 1986 5:14:38 pm PST
Willie-Sue, June 18, 1986 3:34:25 pm PDT
Mike Spreitzer July 10, 1986 1:43:40 pm PDT
DIRECTORY HashTable, Install;
InstallPrivate:
CEDAR
DEFINITIONS
= BEGIN OPEN Install;
Data: TYPE = REF DataPrivate;
DataPrivate:
TYPE =
MONITORED
RECORD [
statuses: HashTable.Table,
change: CONDITION
];
Status: TYPE = REF StatusPrivate;
StatusPrivate:
TYPE =
RECORD [
state: State ← notDone,
foundFile, usedFile: BOOL ← FALSE,
failed: BOOL ← TRUE
];
State: TYPE = {notDone, inProgress, done};
END.