<<>> <> <> <> <> <<>> DIRECTORY BasicTime USING [ GMT ], IO USING [ STREAM ], Rope USING [ ROPE ], TarFileFormat USING [ LinkType ]; Tar: CEDAR DEFINITIONS ~ { OPEN Rope, TarFileFormat; FileInfo: TYPE ~ RECORD [ name: ROPE, mode: CARD32, uid: CARD32, gid: CARD32, size: CARD32, mtime: CARD32, chksum: CARD32, linkflag: LinkType, linkname: ROPE ]; Malformed: ERROR [ how: ROPE ]; Warning: SIGNAL [ msg: ROPE ]; InfoProc: TYPE ~ PROC [ info: FileInfo, s: IO.STREAM ] RETURNS [ quit: BOOL _ FALSE ]; Scan: PROC [ s: IO.STREAM, p: InfoProc ] RETURNS [ aborted: BOOL _ FALSE ]; EnumProc: TYPE ~ PROC [ name: ROPE, date: BasicTime.GMT ] RETURNS [ info: FileInfo ]; SinkProc: TYPE ~ PROC [ info: FileInfo, s: IO.STREAM ] RETURNS [ quit: BOOL _ FALSE ]; FromDF: PROC [s: IO.STREAM, enum: EnumProc, sink: SinkProc, dfFile: IO.STREAM]; ToDF: PROC [s: IO.STREAM, pseudo: ROPE, project: ROPE, dfFile: IO.STREAM]; }.