-- AlpineP2202V2AuxImpl.Mesa
	-- Copyright (C) 1986 by Xerox Corporation.  All rights reserved.
	-- Generated by CHauser.pa at November 13, 1987 1:17:35 pm PST
	--  using Sirocco [2.0] of January 31, 1987 1:52:42 am PST
	
DIRECTORY
	Convert,
	Rope,
	AlpineP2202V2,
	AuthenticationP14V2Aux,
	AlpineP2202V2Aux;

AlpineP2202V2AuxImpl: CEDAR PROGRAM
	IMPORTS Convert, Rope, AuthenticationP14V2Aux
	EXPORTS AlpineP2202V2Aux ~ {
	OPEN AlpineP2202V2, AlpineP2202V2Aux;
	
	ROPE: TYPE ~ Rope.ROPE;
	
	ExposeGVCredentials: PUBLIC PROC [arg: GVCredentials, level: NAT] RETURNS [res: ROPE] ~ {
		res _ "[";
		res _ Rope.Cat[res, "name~", arg.name, ", "];
		res _ Rope.Cat[res, "pwd~", arg.pwd, "]"];
		};
	
	ExposeConnectionProblem: PUBLIC PROC [arg: ConnectionProblem, level: NAT] RETURNS [res: ROPE] ~ {
		SELECT arg FROM
			noRoute => res _ "noRoute";
			noResponse => res _ "noResponse";
			transmissionHardware => res _ "transmissionHardware";
			transportTimeout => res _ "transportTimeout";
			tooManyLocalConnections => res _ "tooManyLocalConnections";
			tooManyRemoteConnections => res _ "tooManyRemoteConnections";
			missingCourier => res _ "missingCourier";
			missingProgram => res _ "missingProgram";
			missingProcedure => res _ "missingProcedure";
			protocolMismatch => res _ "protocolMismatch";
			parameterInconsistency => res _ "parameterInconsistency";
			invalidMessage => res _ "invalidMessage";
			returnTimedOut => res _ "returnTimedOut";
			otherCallProblem => res _ "otherCallProblem";
			ENDCASE => ERROR
		};
	
	ExposePageBuffer: PUBLIC PROC [arg: PageBuffer, 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, "]"];
		};
	
	ExposeSession: PUBLIC PROC [arg: Session, level: NAT] RETURNS [res: ROPE] ~ {
		res _ "[";
		res _ Rope.Cat[res, "token~", Convert.RopeFromCard[arg.token], ", "];
		res _ Rope.Cat[res, "verifier~", AuthenticationP14V2Aux.ExposeSeqWords[arg.verifier, (level+1)], "]"];
		};
	
}...