<> <> <> <> <> 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.