DIRECTORY
BasicTime USING [GMT, nullGMT],
IO USING [STREAM],
Rope USING [ROPE];

WalnutKernelDefs: CEDAR DEFINITIONS

= BEGIN

STREAM: TYPE = IO.STREAM;
ROPE: TYPE = Rope.ROPE;


RootEntry: TYPE = RECORD [
ident: ROPE,			-- would like ATOM, but then case counts and rootFile is edited by people
value: ROPE,					-- NIL for LogInfo entries
info: LogInfoFromRoot		-- NIL for entries other than LogInfo entries
];

LogInfoFromRoot: TYPE = RECORD [
fileName: ROPE,
internalFileID: INT,
logSeqNo: ROPE,
seqNoPos: INT		-- position in rootFile of this logFile's sequence number
];

LogEntry: TYPE = REF LogEntryObject;
LogEntryObject: TYPE = RECORD [
SELECT type: * FROM
LogFileInfo => [		-- change this name each time the format changes
key: ROPE м NIL,
internalFileID: INT,
logSeqNo: INT
],

CreateMsg => [
msg: ROPE м NIL, 
date: BasicTime.GMT м BasicTime.nullGMT,
show: BOOL,		-- to distinguish new grapevine mail
sender,
from,
subject,
to,
cc: ROPE м NIL,
entryStart: INT м 0, 	 -- the position of the entry in the log
textOffset: INT м 0, 		 -- the offset of the first char of the message header
textLen: INT м 0,  		-- the length of the text (chars)
formatLen: INT м 0,		-- the length of the formatting information
headersLen: INT м 0	-- the length of the headers information
],

ExpungeMsgs => NULL,

WriteExpungeLog => [ internalFileID: INT ],

CreateMsgSet => [ msgSet: ROPE м NIL ],
DestroyMsgSet => [ msgSet: ROPE м NIL ],
EmptyMsgSet => [ msgSet: ROPE м NIL ],

HasBeenRead => [ msg: ROPE м NIL ],

AddMsg => [ msg: ROPE м NIL, to: ROPE м NIL],

RemoveMsg => [ msg: ROPE м NIL, from: ROPE м NIL],

MoveMsg => [
msg: ROPE м NIL,
from: ROPE м NIL,
to: ROPE м NIL
],

RecordNewMailInfo => [
logLen: INT,
when: BasicTime.GMT,
server: ROPE м NIL,
num: INT

],
StartCopyNewMail => NULL,
EndCopyNewMailInfo => [ startCopyPos: INT ],
AcceptNewMail => NULL,

StartReadArchiveFile => [ file: ROPE м NIL, msgSet: ROPE м NIL],
EndReadArchiveFile => NULL,
StartCopyReadArchive => NULL,
EndCopyReadArchiveInfo => [ startCopyPos: INT ],

EndOfLog => [length: INT],		-- need not be a "real" entry
ENDCASE ];

MsgLogEntry: TYPE = REF CreateMsg LogEntryObject;

WhichTempLog: TYPE = {newMail, readArchive};

LogExpungePhase: TYPE = {idle, initializingExpungeLog, writingExpungeLog, swappingLogs};

END. 
   8  
WalnutKernelDefs.mesa
Copyright ╙ 1984, 1986, 1987, 1992 by Xerox Corporation.  All rights reserved.
Willie-Sue, May 23, 1988 4:32:16 pm PDT

Definitions used by WalnutLog, WalnutStream
These are internal for use by WalnutKernel

(Changed ROPEs to REF TEXT to avoid all the allocations)
(Added EndReadArchiveFile entry)
(Changed REF TEXT to ROPEs, as they almost always get converted anyway!)

Types
-- Relating to Entries in root files; these entries do not include a size;
-- logSeqNo is guaranteed to be 7 characters long
--  formal definition, but we won't use it

RootEntry: TYPE = REF RootEntryObject;
RootEntryObject: TYPE = RECORD [
SELECT type: * FROM
Key => [ keyValue: ROPE ],
MailFor => [ rName: ROPE ],
Database => [ dbName: ROPE ],
NewMailLog => [ fileName: ROPE ],
ReadArchiveLog => [ fileName: ROPE ],
LogInfo => 
fileName: ROPE,
internalFileID: INT,
logSeqNo: ROPE		--  is number or "Expunge" or "Emptied"
],
End => NULL		-- entries after this one are ignored
];

-- Relating to Entries in log files
the end of the log - returned by WalnutStream


-- Misc
Э╩  ХNewlineDelimiter
Ц(cedarcode) styleЩ Ъ╧bЩJЪЬ
╧eЬCЩNJЩ'JЩ JЩ+JЩ*JЩ JЩ8JЩ JЩHJЩ ЧcodeЪ╧k	Ш	KЪЬ
ЯЬЯЬШKЪЯЬЯЬЯЬШKЪЬЯЬЯЬШЧKШ ЪЭЬЯШ#KШ ЪЬЯШKШ ЧKЪЯЬЯЬЯЬЯЬШЪЯЬЯЬЯЬШKШ ЧЪЭЩKШ JЪЬJЩJJЪЬ╧c
ЬЩ1JЩ*Щ JЪЬЯЬЯЬЩ&ЪЬЯЬЯЬЩ ЪЯЬ	ЯЩJЪЬЯЬЩJЪЬЯЬЩJЪЬЯЬЩJЪЬЯЬЩ!JЪЬЯЬЩ%ЩJЪЬ
ЯЬЩJЪЬЯЬЩJЪЬ
ЯЬа'Щ7JЩЧJЪЬЯЬа%Щ2ЧJЩЧKШ ЪЬЯЬЯЬШKЪЬЯЬаIШXKЪЬЯЬаШ+KЪЬа-ШDKШЧKШ ЪЬЯЬЯЬШ KЪЬ
ЯЬШKЪЬЯЬШKЪЬ
ЯШKЪЬ
ЯЬа9ШHKШЧЧJЩ Щ#KШ KЪЬ
ЯЬЯЬШ$ЪЬЯЬЯЬШЪЯЬ	ЯШЪЬа0ШBKЪЬЯЬЯЬШKЪЬЯЬШKЪЬ
ЯШKШKШ ЧЪЬШKЪЬЯЬЯЬШKЪЬЯЬШ(KЪЬЯЬа$Ш1ЪЬШKШKЪЬШKЪЬШKЪЬЯЬЯЬШЧKЪЬЯЬа'Ш>KЪЬЯЬа5ШMKЪЬ	ЯЬ	а!Ш6KЪЬЯЬа+Ш@KЪЬЯЬа(Ш<KЪЬШKШ ЧЪЬЯЬШKШ ЧЪЬ%ЯЬШ+KШ ЧKЪЬЯЬЯЬШ'KЪЬЯЬЯЬШ(ЪЬЯЬЯЬШ&KШ ЧЪЬЯЬЯЬШ#KШ ЧЪ	ЬЯЬЯЬЯЬЯЬШ-KШ ЧЪ	ЬЯЬЯЬЯЬЯЬШ2KШ ЧЪЬШKЪЬЯЬЯЬШKЪЬЯЬЯЬШKЪЬЯЬЯШKЪЬШKШ ЧЪЬШKЪЬЯЬШKЪЬЯЬШKЪЬЯЬЯЬШKЪЬЯШKШ KЪЬШЧKЪЬЯЬШKЪЬ&ЯЬШ,KЪЬЯЬШKШ KЪ	Ь ЯЬЯЬ
ЯЬЯЬШ@KЪЬЯЬШKЪЬЯЬШKЪЬ*ЯЬШ0KШ ЪЬЯЬаШ9JЩ-JЩ ЧKЪЯЬШ
ЧKШ KЪЬЯЬЯЬШ1ЧKШ KЪЬЯЬШ,JЩ ЧЩKШ KЪЬЯЬCШXЧKШ ЧKЪЯЬЯШЧЧ ЕЧ    Ў  ?  