<> <> <<>> <> <<>> <> <<>> <> <> <<>> DIRECTORY Rope USING [ROPE], WalnutKernelDefs USING [Segment, SegmentID, SegmentIndex]; WalnutDefs: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; <> <<>> <<-- Relating to MsgSet Entites>> dontCareMsgSetVersion: INT = -1; dontCareDomainVersion: INT = -1; MsgSet: TYPE = RECORD[name: ROPE, version: INT _ dontCareMsgSetVersion]; <<>> <<-- Server stuff>> ServerInfo: TYPE = RECORD[server: ROPE, num: INT]; RetrieveState: TYPE = ATOM; -- {OK, communicationFailure, noSuchServer, connectionRejected, badCredentials, didNotRespond, noMailboxes, noServers, unknownFailure, unknownError}; ServerResponse: TYPE = RECORD[server: ROPE, state: RetrieveState, num: INT]; <<-- Segment stuff>> Segment: TYPE = WalnutKernelDefs.Segment; SegmentIndex: TYPE = WalnutKernelDefs.SegmentIndex; SegmentID: TYPE = WalnutKernelDefs.SegmentID; <<>> <> <<>> SchemaMismatch: SIGNAL[explanation: ROPE _ NIL]; VersionMismatch: SIGNAL[explanation: ROPE _ NIL]; Error: SIGNAL[who, code: ATOM, explanation: ROPE _ NIL]; <<>> END.