
DIRECTORY
Convert,
Rope,
MailFormatP1516V3,
MailTransportP17V5Aux,
MailFormatP1516V3Aux;

MailFormatP1516V3AuxImpl: CEDAR PROGRAM
IMPORTS Convert, Rope, MailTransportP17V5Aux
EXPORTS MailFormatP1516V3Aux ~ {
OPEN MailFormatP1516V3, MailFormatP1516V3Aux;

ROPE: TYPE ~ Rope.ROPE;

ExposeAttribute: PUBLIC PROC [arg: Attribute, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "type~", Convert.RopeFromCard[arg.type], ", "];
res м Rope.Cat[res, "value~", ExposeVal[arg.value, (level+1)], "]"];
};

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

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

ExposeVal: PUBLIC PROC [arg: Val, 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, "]"];
};

ExposeNullRecord: PUBLIC PROC [arg: NullRecord, level: NAT] RETURNS [res: ROPE] ~ {
res м "[]";
};

ExposeSensitivity: PUBLIC PROC [arg: Sensitivity, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
personal => res м "personal";
private => res м "private";
companyConfidential => res м "companyConfidential";
ENDCASE => ERROR
};

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

ExposeIPMessageID: PUBLIC PROC [arg: IPMessageID, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "originator~", MailTransportP17V5Aux.ExposeRName[arg.originator, (level+1)], ", "];
res м Rope.Cat[res, "uniqueString~", arg.uniqueString, "]"];
};

ExposeImmutable: PUBLIC PROC [arg: Immutable, level: NAT] RETURNS [res: ROPE] ~ {
res м "[]";
};

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

ExposeassocBP: PUBLIC PROC [arg: assocBP, 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, "]"];
};

ExposeForwardedMessageInfo: PUBLIC PROC [arg: ForwardedMessageInfo, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "envelope~", ExposeEnvelopeAtt[arg.envelope, (level+1)], ", "];
res м Rope.Cat[res, "heading~", ExposeHeadingAtt[arg.heading, (level+1)], ", "];
res м Rope.Cat[res, "associatedBodyParts~", ExposeassocBP[arg.associatedBodyParts, (level+1)], ", "];
res м Rope.Cat[res, "indexOfParentHeading~", ExposeIndexOfParentHeading[arg.indexOfParentHeading, (level+1)], "]"];
};

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

ExposeImportance: PUBLIC PROC [arg: Importance, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
low => res м "low";
normal => res м "normal";
high => res м "high";
ENDCASE => ERROR
};

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

ExposeIndexOfParentHeadingKind: PUBLIC PROC [arg: IndexOfParentHeadingKind, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
null => res м "null";
nested => res м "nested";
ENDCASE => ERROR
};

ExposeIndexOfParentHeading: PUBLIC PROC [arg: IndexOfParentHeading, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["IndexOfParentHeading(", ExposeIndexOfParentHeadingKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF IndexOfParentHeadingObject.null => {
res м Rope.Concat[res, ExposeNullRecord[it.null, (level+1)]] };
it: REF IndexOfParentHeadingObject.nested => {
res м Rope.Concat[res, ExposeNestedIndex[it.nested, (level+1)]] };
ENDCASE => ERROR
};

ExposeNestedIndex: PUBLIC PROC [arg: NestedIndex, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "index~", Convert.RopeFromCard[arg.index], "]"];
};

}...

   р  
MailFormatP1516V3AuxImpl.Mesa
Copyright ╙ 1989, 1991 by Xerox Corporation.  All rights reserved.
Generated by Willie-sue.pa at February 13, 1989 6:37:15 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ЪЮЬ)Ш-KШ KЪЮЬЮЬЮЬШKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШQKШ
KШCKШDKШЧKШ ЪЯЬЮЬЮЬ!ЮЬЮЬЮЬШaKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ6ШcKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ+ШXKЪЮЬШЧKШKШЧKШ ЪЯ	ЬЮЬЮЬЮЬЮЬЮЬШEKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUЪЮЬЮШKШKШKШ3KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ]KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ-ШZKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUKШ
KШgKШ<KШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШQKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ]KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ+ШXKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШMKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ$ЮЬЮЬЮЬШgKШ
KШSKШPKШeKШsKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШQKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ=ШjKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSЪЮЬЮШKШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬDШqKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ(ЮЬЮЬЮЬШoЪЮЬЮШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬ$ЮЬЮЬЮЬШgKШdЪЮЬЮЬЮШЪЬЮЬ%Ш,KШ?ЧЪЬЮЬ'Ш.KШBЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUKШ
KШDKШЧKШ ЧKШKШ Ч ЕЧ    4    