
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
};

}...

   ф  
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
 Э╩┬  ХNewlineDelimiter
Ц(cedarcode) styleЩ ЪЬ!Щ!JЪЬ	╧eЬ6ЩBJЪЬ>Щ>JЪЬ7Щ7IcodeШ ЧЪ╧k	Ш	KШKШKШKШKШЧKШ Ъ╧nЬЮЬЮШ+KЪЮЬ%Ш,KЪЮЬШ$KЪЮЬ1Ш5KШ KЪЮЬЮЬЮЬШKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШKKШ
KШvKШ\KШRKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSKШ
KШJKШkKШЧKШ ЪЯЬЮЬЮЬ%ЮЬЮЬЮЬШiKШ
KШiKШIKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOЪЮЬЮШKШKШKШKШ#KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ7ШdKЪЮЬШЧKШKШЧKШ ЪЯ
ЬЮЬЮЬЮЬЮЬЮЬШGKШDЪЮЬЮЬЮШЪЬЮЬШ!KШAЧЪЬЮЬШ$KШGЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOЪЮЬЮШKШKШ%KЪЮЬЮШЧKШЧKШ ЪЯ#ЬЮЬЮЬ-ЮЬЮЬЮЬШyKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ0Ш]KЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШKЪЮЬЮШKШ+KШ7KШ#KШKШ-KШ)KШ)KШ/KШ5KШ;KШ-KШ1KШ/KШ/KШMKШ=KШGKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШMKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ4ШaKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ]KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ*ШWKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШ
KШiKШBKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШYЪЮЬЮШKШ-KШ)KШ-KШ)KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUЪЮЬЮШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOKШ
KШCKШPKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШIKШ
KШ_KШgKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOKШ
KШQKШKKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШOKШ
KШcKШBKШЧKШ ЪЯЬЮЬЮЬ ЮЬЮЬЮЬШ_KШ
KШ[KШlKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ7ШdKЪЮЬШЧKШKШЧKШ ЪЯ!ЬЮЬЮЬ+ЮЬЮЬЮЬШuЪЮЬЮШKШKШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШMKШJЪЮЬЮЬЮШЪЬЮЬШ#KШ>ЧЪЬЮЬШ KШ>ЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШQKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ/Ш\KЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШMЪЮЬЮШKШ/KШKЪЮЬЮШЧKШЧKШ ЧKШKШ Ч ЕЧ    <  'т  