MSBasics.mesa - public DEFS for basic types
Copyright Ó 1988, 1991 by Xerox Corporation. All rights reserved.
Doug Terry, December 2, 1988 11:04:31 am PST
Wes Irish, December 22, 1988 3:47:21 pm PST
Basic type definitions for mail messages, user names, etc.
DIRECTORY
EnvelopeFormatP1517V1,
MailTransportP17V5,
XNSCHName;
MSBasics: CEDAR DEFINITIONS
= BEGIN
RName: TYPE = MailTransportP17V5.RName;
CHRName: TYPE = REF CHRNameObject;
CHRNameObject: TYPE = xns MailTransportP17V5.RNameObject;
X400RName: TYPE = REF X400RNameObject;
X400RNameObject: TYPE = gateway MailTransportP17V5.RNameObject;
CHName: TYPE = XNSCHName.Name; -- the same as CHRName­.xns
Reason: TYPE = EnvelopeFormatP1517V1.Reason;
ReportType: TYPE = MailTransportP17V5.ReportType;
Recipient: TYPE = MailTransportP17V5.Recipient;
Postmark: TYPE = EnvelopeFormatP1517V1.Postmark;
MessageID: TYPE = EnvelopeFormatP1517V1.MessageID;
ContentsType: TYPE = EnvelopeFormatP1517V1.ContentsType;
ctNull: ContentsType = 37777777777B; -- no content
ctStandardMessage: ContentsType = 4; -- interpresonal message
ctReport: ContentsType = 6; -- Mail Service-generated delivery or non-delivery report.
TableOfContents: TYPE = EnvelopeFormatP1517V1.TableOfContents;
Report: TYPE = EnvelopeFormatP1517V1.Report;
Priority: TYPE = EnvelopeFormatP1517V1.Priority;
Converted: TYPE = EnvelopeFormatP1517V1.Converted;
AuthenticationLevelOfSender: TYPE = EnvelopeFormatP1517V1.AuthenticationLevelOfSender;
XNS messages consist of an envelope plus zero or more body parts. The first body part for interpersonal messages is always the message header.
Envelope: TYPE = RECORD [
-- Required Envelope Items:
postmark: Postmark,  -- time and site of posting
msgID: MessageID,  -- unique id within the mail system for this message
ctype: ContentsType,  -- indicates the format of the contents of a message
toc: TableOfContents,  -- sequence of BodyPartInfo
size: CARD32,  -- size of message content in bytes
originator: RName,  -- authenticated sender of the message
-- Other Envelope Items (may or may not exist, indicated by flags):
authenticationLevel: AuthenticationLevelOfSender, -- authentication of "originator"
gatewayPostmark: Postmark, -- filled in by the gateway
report: Report,  -- information for delivery / non-delivery reports
priority: Priority, -- the originating users requested priority of the message
converted: Converted, -- these conversions have taken place either in the client or server
-- Flags (for above items):
authenticationLevelPresent: BOOL ¬ FALSE,
gatewayPostmarkPresent: BOOL ¬ FALSE,
reportPresent: BOOL ¬ FALSE,
priorityPresent: BOOL ¬ FALSE,
convertedPresent: BOOL ¬ FALSE
];
BodyPartInfo: TYPE = EnvelopeFormatP1517V1.TOCEntry;
BodyPartType: TYPE = CARD32;
lastBodyPart: BodyPartType = LAST[CARD32];
the item contains no data, and always occurs as the last item in a message body
END.