
DIRECTORY
Convert,
Rope,
CHOpsP2V3,
AuthenticationP14V2Aux,
CHOpsP2V3Aux,
CHNameP2V0Aux;

CHOpsP2V3AuxImpl: CEDAR PROGRAM
IMPORTS Convert, Rope, AuthenticationP14V2Aux, CHNameP2V0Aux
EXPORTS CHOpsP2V3Aux ~ {
OPEN CHOpsP2V3, CHOpsP2V3Aux;

ROPE: TYPE ~ Rope.ROPE;

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

ExposeWhichArgument: PUBLIC PROC [arg: WhichArgument, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
first => res м "first";
second => res м "second";
ENDCASE => ERROR
};

ExposeStreamOfThreePartName: PUBLIC PROC [arg: StreamOfThreePartName, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfThreePartName(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfThreePartNameObject.nextSegment => {
res м Rope.Concat[res, ExposeThreePartNameSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfThreePartNameObject.lastSegment => {
res м Rope.Concat[res, ExposeThreePartNameSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

ExposeStreamOfDomain: PUBLIC PROC [arg: StreamOfDomain, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfDomain(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfDomainObject.nextSegment => {
res м Rope.Concat[res, ExposeDomainSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfDomainObject.lastSegment => {
res м Rope.Concat[res, ExposeDomainSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

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

ExposeStreamOfOrganization: PUBLIC PROC [arg: StreamOfOrganization, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfOrganization(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfOrganizationObject.nextSegment => {
res м Rope.Concat[res, ExposeOrganizationSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfOrganizationObject.lastSegment => {
res м Rope.Concat[res, ExposeOrganizationSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

ExposeStreamOfDomainName: PUBLIC PROC [arg: StreamOfDomainName, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfDomainName(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfDomainNameObject.nextSegment => {
res м Rope.Concat[res, ExposeDomainNameSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfDomainNameObject.lastSegment => {
res м Rope.Concat[res, ExposeDomainNameSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

ExposeArgumentProblem: PUBLIC PROC [arg: ArgumentProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
illegalProperty => res м "illegalProperty";
illegalOrganizationName => res м "illegalOrganizationName";
illegalDomainName => res м "illegalDomainName";
illegalObjectName => res м "illegalObjectName";
noSuchOrganization => res м "noSuchOrganization";
noSuchDomain => res м "noSuchDomain";
noSuchObject => res м "noSuchObject";
ENDCASE => ERROR
};

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

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

ExposeStreamKind: PUBLIC PROC [arg: StreamKind, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
nextSegment => res м "nextSegment";
lastSegment => res м "lastSegment";
ENDCASE => ERROR
};

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

ExposeCallProblem: PUBLIC PROC [arg: CallProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
accessRightsInsufficient => res м "accessRightsInsufficient";
tooBusy => res м "tooBusy";
serverDown => res м "serverDown";
useCourier => res м "useCourier";
other => res м "other";
ENDCASE => ERROR
};

ExposeAuthenticator: PUBLIC PROC [arg: Authenticator, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "credentials~", AuthenticationP14V2Aux.ExposeCredentials[arg.credentials, (level+1)], ", "];
res м Rope.Cat[res, "verifier~", AuthenticationP14V2Aux.ExposeSeqWords[arg.verifier, (level+1)], "]"];
};

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

ExposeStreamOfObject: PUBLIC PROC [arg: StreamOfObject, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfObject(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfObjectObject.nextSegment => {
res м Rope.Concat[res, ExposeObjectSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfObjectObject.lastSegment => {
res м Rope.Concat[res, ExposeObjectSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

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

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

ExposeStreamOfObjectName: PUBLIC PROC [arg: StreamOfObjectName, level: NAT] RETURNS [res: ROPE] ~ {
res м Rope.Cat["StreamOfObjectName(", ExposeStreamKind[arg.type, (level+1)], "): "];
WITH arg SELECT FROM
it: REF StreamOfObjectNameObject.nextSegment => {
res м Rope.Concat[res, ExposeObjectNameSequence[it.nextSegment, (level+1)]] };
it: REF StreamOfObjectNameObject.lastSegment => {
res м Rope.Concat[res, ExposeObjectNameSequence[it.lastSegment, (level+1)]] };
ENDCASE => ERROR
};

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

ExposePropertyProblem: PUBLIC PROC [arg: PropertyProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
missing => res м "missing";
wrongType => res м "wrongType";
ENDCASE => ERROR
};

ExposeUpdateProblem: PUBLIC PROC [arg: UpdateProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
noChange => res м "noChange";
outOfDate => res м "outOfDate";
objectOverflow => res м "objectOverflow";
databaseOverflow => res м "databaseOverflow";
ENDCASE => ERROR
};

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

}...

   ╪  
CHOpsP2V3AuxImpl.Mesa
Copyright ╙ 1989, 1991 by Xerox Corporation.  All rights reserved.
Generated by Willie-sue.pa at February 13, 1989 2:49:35 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ШЧKШ Ъ╧nЬЮЬЮШKЪЮЬ5Ш<KЪЮЬШKЪЮЬШKШ KЪЮЬЮЬЮЬШKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ=ШjKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШYЪЮЬЮШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬ%ЮЬЮЬЮЬШiKШWЪЮЬЮЬЮШЪЬЮЬ-Ш4KШQЧЪЬЮЬ-Ш4KШQЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШPЪЮЬЮЬЮШЪЬЮЬ&Ш-KШJЧЪЬЮЬ&Ш-KШJЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ;ШhKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ$ЮЬЮЬЮЬШgKШVЪЮЬЮЬЮШЪЬЮЬ,Ш3KШPЧЪЬЮЬ,Ш3KШPЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШTЪЮЬЮЬЮШЪЬЮЬ*Ш1KШNЧЪЬЮЬ*Ш1KШNЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ]ЪЮЬЮШKШ+KШ;KШ/KШ/KШ1KШ%KШ%KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬШ<KЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ%ЮЬЮЬЮЬШiKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ=ШjKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSЪЮЬЮШKШ#KШ#KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШ
ЪЮЬЮЬЮЬЮШKЪ	ЬЮЬЮЬЮЬЮЬ ШMKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШUЪЮЬЮШKШ=KШKШ!KШ!KШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШYKШ
KШpKШfKШЧKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ0Ш]KЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШPЪЮЬЮЬЮШЪЬЮЬ&Ш-KШJЧЪЬЮЬ&Ш-KШJЧKЪЮЬЮШЧKШЧKШ ЪЯ
ЬЮЬЮЬЮЬЮЬЮЬШGKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ$ЮЬЮЬЮЬШgKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬШ<KЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬ"ЮЬЮЬЮЬШcKШTЪЮЬЮЬЮШЪЬЮЬ*Ш1KШNЧЪЬЮЬ*Ш1KШNЧKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШSKШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШЧKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ]ЪЮЬЮШKШKШKЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШYЪЮЬЮШKШKШKШ)KШ-KЪЮЬЮШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KШ
ЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬШ<KЪЮЬШЧKШKШЧKШ ЧKШKШ Ч ЕЧ    T  '╗  