WalnutDefs.mesa
Willie-Sue, June 10, 1985 6:29:50 pm PDT
Definitions used by WalnutOps, seen by the outside world
Copyright © 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
DIRECTORY
Rope USING [ROPE],
WalnutKernelDefs USING [Segment, SegmentID, SegmentIndex];
WalnutDefs: CEDAR DEFINITIONS
= BEGIN
ROPE: TYPE = Rope.ROPE;
Types
-- 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;
Signals
SchemaMismatch: SIGNAL[explanation: ROPE ← NIL];
VersionMismatch: SIGNAL[explanation: ROPE ← NIL];
Error: SIGNAL[who, code: ATOM, explanation: ROPE ← NIL];
END.