<<>>
<<EnvelopeFormatP1517V1AuxImpl.Mesa>>
<<Copyright Ó 1989, 1991 by Xerox Corporation.  All rights reserved.>>
<<Generated by Willie-sue.pa at February 13, 1989 6:32:50 pm PST>>
<<using Sirocco [2.0] of February 10, 1989 6:26:26 pm PST>>

    DIRECTORY
        Convert,
        Rope,
        EnvelopeFormatP1517V1,
        MailTransportP17V5Aux,
        EnvelopeFormatP1517V1Aux;

    EnvelopeFormatP1517V1AuxImpl: CEDAR PROGRAM
        IMPORTS Convert, Rope, MailTransportP17V5Aux
        EXPORTS EnvelopeFormatP1517V1Aux ~ {
        OPEN EnvelopeFormatP1517V1, EnvelopeFormatP1517V1Aux;

        ROPE: TYPE ~ Rope.ROPE;

        ExposeReport: PUBLIC PROC [arg: Report, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "originalEnvelope~", MailTransportP17V5Aux.ExposeEnvelope[arg.originalEnvelope, (level+1)], ", "];
            res Ź Rope.Cat[res, "fateOfThisReport~", ExposeFate[arg.fateOfThisReport, (level+1)], ", "];
            res Ź Rope.Cat[res, "reportType~", ExposeRepType[arg.reportType, (level+1)], "]"];
            };

        ExposeNonDelType: PUBLIC PROC [arg: NonDelType, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "reason~", ExposeReason[arg.reason, (level+1)], ", "];
            res Ź Rope.Cat[res, "reportCreationPostmark~", ExposePostmark[arg.reportCreationPostmark, (level+1)], "]"];
            };

        ExposeNonDeliveredRecipient: PUBLIC PROC [arg: NonDeliveredRecipient, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "recipient~", MailTransportP17V5Aux.ExposeRecipient[arg.recipient, (level+1)], ", "];
            res Ź Rope.Cat[res, "reason~", ExposeReason[arg.reason, (level+1)], "]"];
            };

        ExposePriority: PUBLIC PROC [arg: Priority, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                nonUrgent => res Ź "nonUrgent";
                normal => res Ź "normal";
                urgent => res Ź "urgent";
                unspecified => res Ź "unspecified";
                ENDCASE => ERROR
            };

        ExposeFailList: PUBLIC PROC [arg: FailList, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeNonDeliveredRecipient[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeFate: PUBLIC PROC [arg: Fate, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź Rope.Cat["Fate(", ExposeFateKind[arg.type, (level+1)], "): "];
            WITH arg SELECT FROM
                it: REF FateObject.delivered => {
                    res Ź Rope.Concat[res, ExposeDelType[it.delivered, (level+1)]] };
                it: REF FateObject.notDelivered => {
                    res Ź Rope.Concat[res, ExposeNonDelType[it.notDelivered, (level+1)]] };
                ENDCASE => ERROR
            };

        ExposeFateKind: PUBLIC PROC [arg: FateKind, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                delivered => res Ź "delivered";
                notDelivered => res Ź "notDelivered";
                ENDCASE => ERROR
            };

        ExposeX400SpecificReportInformation: PUBLIC PROC [arg: X400SpecificReportInformation, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeX400ReportItem[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeReason: PUBLIC PROC [arg: Reason, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                noSuchRecipient => res Ź "noSuchRecipient";
                noMailboxForRecipient => res Ź "noMailboxForRecipient";
                illegalName => res Ź "illegalName";
                timeout => res Ź "timeout";
                reportNotAllowed => res Ź "reportNotAllowed";
                messageTooLong => res Ź "messageTooLong";
                ambiguousRName => res Ź "ambiguousRName";
                illegalCharacters => res Ź "illegalCharacters";
                unsupportedBodyparts => res Ź "unsupportedBodyparts";
                unsupportedContentsType => res Ź "unsupportedContentsType";
                transientProblem => res Ź "transientProblem";
                contentSyntaxError => res Ź "contentSyntaxError";
                tooManyRecipients => res Ź "tooManyRecipients";
                protocolViolation => res Ź "protocolViolation";
                x400PragmaticConstraintViolation => res Ź "x400PragmaticConstraintViolation";
                x400NoBilateralAgreement => res Ź "x400NoBilateralAgreement";
                accessRightsInsufficientForDL => res Ź "accessRightsInsufficientForDL";
                other => res Ź "other";
                ENDCASE => ERROR
            };

        ExposeSucList: PUBLIC PROC [arg: SucList, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeDeliveredRecipient[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeTableOfContents: PUBLIC PROC [arg: TableOfContents, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeTOCEntry[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeDeliveredRecipient: PUBLIC PROC [arg: DeliveredRecipient, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "recipient~", MailTransportP17V5Aux.ExposeRecipient[arg.recipient, (level+1)], ", "];
            res Ź Rope.Cat[res, "when~", Convert.RopeFromCard[arg.when], "]"];
            };

        ExposeX400ReportItem: PUBLIC PROC [arg: X400ReportItem, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, Convert.RopeFromCard[arg.body[i]]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeConvertedItem: PUBLIC PROC [arg: ConvertedItem, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                ia5TextToTeletex => res Ź "ia5TextToTeletex";
                teletexToTelex => res Ź "teletexToTelex";
                teletexToIA5Text => res Ź "teletexToIA5Text";
                telexToTeletex => res Ź "telexToTeletex";
                ENDCASE => ERROR
            };

        ExposeRepTypeKind: PUBLIC PROC [arg: RepTypeKind, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                dlMember => res Ź "dlMember";
                other => res Ź "other";
                ENDCASE => ERROR
            };

        ExposeTOCEntry: PUBLIC PROC [arg: TOCEntry, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "type~", Convert.RopeFromCard[arg.type], ", "];
            res Ź Rope.Cat[res, "sizeInBytes~", Convert.RopeFromCard[arg.sizeInBytes], "]"];
            };

        ExposeDLMem: PUBLIC PROC [arg: DLMem, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "dlName~", MailTransportP17V5Aux.ExposeRName[arg.dlName, (level+1)], ", "];
            res Ź Rope.Cat[res, "invalidDLRecipients~", ExposeInvalRecip[arg.invalidDLRecipients, (level+1)], "]"];
            };

        ExposeOtherRep: PUBLIC PROC [arg: OtherRep, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "succeeded~", ExposeSucList[arg.succeeded, (level+1)], ", "];
            res Ź Rope.Cat[res, "failed~", ExposeFailList[arg.failed, (level+1)], "]"];
            };

        ExposePostmark: PUBLIC PROC [arg: Postmark, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "postedAt~", MailTransportP17V5Aux.ExposeRName[arg.postedAt, (level+1)], ", "];
            res Ź Rope.Cat[res, "time~", Convert.RopeFromCard[arg.time], "]"];
            };

        ExposeTransportOptions: PUBLIC PROC [arg: TransportOptions, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            res Ź Rope.Cat[res, "returnOfContents~", Convert.RopeFromBool[arg.returnOfContents], ", "];
            res Ź Rope.Cat[res, "alternateRecipientAllowed~", Convert.RopeFromBool[arg.alternateRecipientAllowed], "]"];
            };

        ExposeInvalRecip: PUBLIC PROC [arg: InvalRecip, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeNonDeliveredRecipient[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeAuthenticationLevelOfSender: PUBLIC PROC [arg: AuthenticationLevelOfSender, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                strong => res Ź "strong";
                simple => res Ź "simple";
                foreign => res Ź "foreign";
                unknown => res Ź "unknown";
                ENDCASE => ERROR
            };

        ExposeRepType: PUBLIC PROC [arg: RepType, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź Rope.Cat["RepType(", ExposeRepTypeKind[arg.type, (level+1)], "): "];
            WITH arg SELECT FROM
                it: REF RepTypeObject.dlMember => {
                    res Ź Rope.Concat[res, ExposeDLMem[it.dlMember, (level+1)]] };
                it: REF RepTypeObject.other => {
                    res Ź Rope.Concat[res, ExposeOtherRep[it.other, (level+1)]] };
                ENDCASE => ERROR
            };

        ExposeConverted: PUBLIC PROC [arg: Converted, level: NAT] RETURNS [res: ROPE] ~ {
            res Ź "[";
            FOR i: CARDINAL IN [0..arg.length) DO
                res Ź Rope.Cat[res, IF i>0 THEN ", " ELSE NIL, ExposeConvertedItem[arg.body[i], (level+1)]];
                ENDLOOP;
            res Ź Rope.Concat[res, "]"];
            };

        ExposeDelType: PUBLIC PROC [arg: DelType, level: NAT] RETURNS [res: ROPE] ~ {
            SELECT arg FROM
                contentsTruncated => res Ź "contentsTruncated";
                noProblem => res Ź "noProblem";
                ENDCASE => ERROR
            };

    }...