<> <> <> <> DIRECTORY Convert, Rope, FetchP70V1, FetchP70V1Aux; FetchP70V1AuxImpl: CEDAR PROGRAM IMPORTS Convert, Rope EXPORTS FetchP70V1Aux ~ { OPEN FetchP70V1, FetchP70V1Aux; ROPE: TYPE ~ Rope.ROPE; ExposeErrorType: PUBLIC PROC [arg: ErrorType, level: NAT] RETURNS [res: ROPE] ~ { SELECT arg FROM fileNotFound => res _ "fileNotFound"; badResults => res _ "badResults"; badParameters => res _ "badParameters"; internalError => res _ "internalError"; serverGoingAway => res _ "serverGoingAway"; serverNotFound => res _ "serverNotFound"; courierError => res _ "courierError"; badHandle => res _ "badHandle"; versionMismatch => res _ "versionMismatch"; nilHeap => res _ "nilHeap"; cantOpenLogFile => res _ "cantOpenLogFile"; warning => res _ "warning"; badFileName => res _ "badFileName"; badRelease => res _ "badRelease"; ENDCASE => ERROR }; }...