<<>> <> <> <> <<>> <> <<>> DIRECTORY Rope USING [ROPE]; FSBackdoor: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Version: TYPE = RECORD [CARDINAL]; noVersion: Version = [LAST[CARDINAL]]; highestVersion: Version = noVersion; lowestVersion: Version = [0]; <<>> NameProc: TYPE = PROC [fullGName: ROPE] RETURNS [continue: BOOL]; EnumerateCacheForNames: PROC [proc: NameProc, volName, pattern: ROPE ¬ NIL]; ErrorCode: TYPE = {ok -- used internally-- , inconsistent, software, badFP, wentOffline, hardware, volumeFull, fragmented, noMoreVersions, serverInaccessible, connectionRejected, connectionTimedOut, badCredentials, accessDenied, quotaExceeded, invalidPropertyPage, badBTree, outOfPropertySpace, lockConflict, fileBusy, noCache, wrongLock, globalWriteLock, zeroKeep, badByteCount, unknownPage, invalidOpenFile, notImplemented, fileTypeMismatch, nonCedarVolume, unknownServer, unknownVolume, unknownFile, unknownCreatedTime, illegalName, patternNotAllowed, versionSpecified, globalCreation, badWorkingDir, noKeeps, cantUpdateTiogaFile }; ProduceError: PROC [code: ErrorCode, explanation: Rope.ROPE]; END.