DIRECTORY
Convert,
Rope,
InbasketP18V2,
AuthenticationP14V2Aux,
InbasketP18V2Aux;

InbasketP18V2AuxImpl: CEDAR PROGRAM
IMPORTS Convert, Rope, AuthenticationP14V2Aux
EXPORTS InbasketP18V2Aux ~ {
OPEN InbasketP18V2, InbasketP18V2Aux;

ROPE: TYPE ~ Rope.ROPE;

ExposeAccessProblem: PUBLIC PROC [arg: AccessProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
accessRightsInsufficient => res м "accessRightsInsufficient";
accessRightsIndeterminate => res м "accessRightsIndeterminate";
noSuchInbasket => res м "noSuchInbasket";
inbasketIndeterminate => res м "inbasketIndeterminate";
wrongService => res м "wrongService";
ENDCASE => ERROR
};

ExposeServiceProblem: PUBLIC PROC [arg: ServiceProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
cannotAuthenticate => res м "cannotAuthenticate";
serviceFull => res м "serviceFull";
serviceUnavailable => res м "serviceUnavailable";
ENDCASE => ERROR
};

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

ExposeSessionProblem: PUBLIC PROC [arg: SessionProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
tokenInvalid => res м "tokenInvalid";
ENDCASE => ERROR
};

ExposeStatus: PUBLIC PROC [arg: Status, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "messageStatus~", ExposeMessageStatus[arg.messageStatus, (level+1)], ", "];
res м Rope.Cat[res, "bodyPartsStatus~", ExposeBodyPartsStatus[arg.bodyPartsStatus, (level+1)], "]"];
};

ExposeIndexProblem: PUBLIC PROC [arg: IndexProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
invalidIndex => res м "invalidIndex";
invalidBodyPartIndex => res м "invalidBodyPartIndex";
ENDCASE => ERROR
};

ExposeSession: PUBLIC PROC [arg: Session, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "token~", ExposeTwo[arg.token, (level+1)], ", "];
res м Rope.Cat[res, "verifier~", AuthenticationP14V2Aux.ExposeSeqWords[arg.verifier, (level+1)], "]"];
};

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

ExposeOtherProblem: PUBLIC PROC [arg: OtherProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
cantExpedite => res м "cantExpedite";
malformedMessage => res м "malformedMessage";
invalidOperation => res м "invalidOperation";
last => res м "last";
ENDCASE => ERROR
};

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

ExposeBodyPartsStatus: PUBLIC PROC [arg: BodyPartsStatus, 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.RopeFromBool[arg.body[i]]];
ENDLOOP;
res м Rope.Concat[res, "]"];
};

ExposeExist: PUBLIC PROC [arg: Exist, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
new => res м "new";
known => res м "known";
ENDCASE => ERROR
};

ExposeRange: PUBLIC PROC [arg: Range, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "low~", Convert.RopeFromCard[arg.low], ", "];
res м Rope.Cat[res, "high~", Convert.RopeFromCard[arg.high], "]"];
};

ExposeDel: PUBLIC PROC [arg: Del, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
true => res м "true";
noChange => res м "noChange";
ENDCASE => ERROR
};

ExposeMessageStatus: PUBLIC PROC [arg: MessageStatus, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "userDefinedStatus~", Convert.RopeFromCard[arg.userDefinedStatus], ", "];
res м Rope.Cat[res, "existenceOfMessage~", ExposeExist[arg.existenceOfMessage, (level+1)], "]"];
};

ExposeState: PUBLIC PROC [arg: State, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "new~", Convert.RopeFromCard[arg.new], ", "];
res м Rope.Cat[res, "total~", Convert.RopeFromCard[arg.total], "]"];
};

ExposeTransferProblem: PUBLIC PROC [arg: TransferProblem, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
aborted => res м "aborted";
ENDCASE => ERROR
};

ExposeBodyPartStatusChange: PUBLIC PROC [arg: BodyPartStatusChange, level: NAT] RETURNS [res: ROPE] ~ {
res м "[";
res м Rope.Cat[res, "bodyPartIndex~", Convert.RopeFromCard[arg.bodyPartIndex], ", "];
res м Rope.Cat[res, "deleteable~", ExposeDel[arg.deleteable, (level+1)], "]"];
};

ExposeWhichOne: PUBLIC PROC [arg: WhichOne, level: NAT] RETURNS [res: ROPE] ~ {
SELECT arg FROM
this => res м "this";
next => res м "next";
ENDCASE => ERROR
};

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

}...


    f  
InbasketP18V2AuxImpl.mesa
Copyright ╙ 1991, 1992 by Xerox Corporation.  All rights reserved.

 Э╩╒  Ц(cedarcode) styleХNewlineDelimiter
Щ ЩJЪЬ
╧eЬ7ЩBJЩ ЧIcodeЪ╧k	Ш	KШKШKШKШKШKШ KЪ╧nЬЮЬЮШ#KЪЮЬ&Ш-KЪЮЬШKЪЮЬ!Ш%KШ KЪЮЬЮЬЮЬШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШYKЪЮЬЮШKШ=KШ?KШ)KШ7KШ%KЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KЪЮЬЮШKШ1KШ#KШ1KЪЮЬЮШKШKШ KЪЯ	ЬЮЬЮЬЮЬЮЬЮЬШEKШ
KЪЮЬЮЬЮЬЮШKЪ	ЬЮЬЮЬЮЬЮЬ ШMKЪЮЬШKШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШ[KЪЮЬЮШKШ%KЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШKKШ
KШ_KШdKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШWKЪЮЬЮШKШ%KШ5KЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШMKШ
KШEKШfKШKШ KЪЯЬЮЬЮЬ ЮЬЮЬЮЬШ_KШ
KЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШKШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШWKЪЮЬЮШKШ%KШ-KШ-KШKЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШKKШ
KЪЮЬЮЬЮЬЮШKЪ	ЬЮЬЮЬЮЬЮЬ ШMKЪЮЬШKШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШ]KШ
KЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ%ШRKЪЮЬШKШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШIKЪЮЬЮШKШKШKЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШIKШ
KШAKШBKШKШ KЪЯ	ЬЮЬЮЬЮЬЮЬЮЬШEKЪЮЬЮШKШKШKЪЮЬЮШKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШYKШ
KШ]KШ`KШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШIKШ
KШAKШDKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШ]KЪЮЬЮШKШKЪЮЬЮШKШKШ KЪЯЬЮЬЮЬ$ЮЬЮЬЮЬШgKШ
KШUKШNKШKШ KЪЯЬЮЬЮЬЮЬЮЬЮЬШOKЪЮЬЮШKШKШKЪЮЬЮШKШKШ KЪЯ"ЬЮЬЮЬ,ЮЬЮЬЮЬШwKШ
KЪЮЬЮЬЮЬЮШ%KЪ	ЬЮЬЮЬЮЬЮЬ6ШcKЪЮЬШKШKШKШ KШKШ KШ Ч ЕЧ    Ў  1  