DIRECTORY Rope USING [ROPE], WalnutKernelDefs USING [Segment, SegmentID, SegmentIndex]; WalnutDefs: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; dontCareMsgSetVersion: INT = -1; dontCareDomainVersion: INT = -1; MsgSet: TYPE = RECORD[name: ROPE, version: INT _ dontCareMsgSetVersion]; 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: 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. †WalnutDefs.mesa Willie-Sue, June 10, 1985 6:29:50 pm PDT Definitions used by WalnutOps, seen by the outside world Copyright c 1984 by Xerox Corporation. All rights reserved. Last Edited by: Willie-Sue, January 4, 1985 9:18:20 am PST Last Edited by: Donahue, at December 11, 1984 10:45:27 am PST Types -- Relating to MsgSet Entites -- Server stuff -- Segment stuff Signals ΚΧ– "Cedar" style˜šΟb™J™(—J™J™9J™Jšœ Οmœ1™