<<>> <> <> <> <> <> DIRECTORY Basics USING [HWORD, FWORD], CrRPC, BulkDataP0V1, Rope; TrickleChargeP9813V411: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; <<>> <> RetrieveType: TYPE ~ PROC [h: CrRPC.Handle, name: ROPE, wantedCreatedTime: INT32, data: CrRPC.BulkDataSink]; Retrieve: RetrieveType; <> EnumerateForInfoType: TYPE ~ PROC [h: CrRPC.Handle, pattern: ROPE, info: CrRPC.BulkDataSink]; EnumerateForInfo: EnumerateForInfoType; <> EnumerationRep: TYPE ~ RECORD [ nameLength: Basics.HWORD, -- if the name of the file is bigger than this we have a real problem. created: Basics.FWORD, -- really BasicTime.GMT LOOPHOLEd size: Basics.FWORD, -- number of bytes in the file nameBytes: PACKED ARRAY [0..0) OF BYTE -- the contents of the name. ]; FileInfoType: TYPE ~ PROC [h: CrRPC.Handle, name: ROPE, wantedCreatedTime: INT32] RETURNS [fullFName: ROPE, bytes: INT32, created: INT32]; FileInfo: FileInfoType; <> AnyBodyHomeType: TYPE ~ PROC [h: CrRPC.Handle] RETURNS [mayBe: INT16]; AnyBodyHome: AnyBodyHomeType; <> FileNotFoundType: TYPE ~ ERROR [file: ROPE]; FileNotFound: FileNotFoundType; ErrorType: TYPE ~ ERROR [description: ROPE]; Error: ErrorType; }...