<<>> <> <> <> <> <> <<>> 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; <> 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]; <> END.