-- 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)], "]"];
		};
	
}...