<> <> <> <> DIRECTORY DFUtilities USING [Date], Rope USING [ROPE]; DFClosure: CEDAR DEFINITIONS = BEGIN <> Date: TYPE = DFUtilities.Date; ROPE: TYPE = Rope.ROPE; FileProc: TYPE = PROC [data: REF, name: ROPE, date: Date, from: ROPE, exported: BOOL]; <> <> <> <> <> <> ImportProc: TYPE = PROC [data: REF, dfName: ROPE, date: Date, exported: BOOL] RETURNS [recursionKind: RecursionKind _ same]; <> <> <> <> <> RecursionKind: TYPE = {none, public, all, same}; <> <> <> <> <<>> MessageProc: TYPE = PROC [data: REF, message: ROPE]; <> <> <<>> ErrorProc: TYPE = PROC [data: REF, kind: ErrorKind, message: ROPE]; <> <> ErrorKind: TYPE = {notFound, syntaxError, aborted}; <> <> <> <> EnumerateClosure: PROC [dfName: ROPE, private: BOOL, file: FileProc, import: ImportProc, error: ErrorProc, message: MessageProc _ NIL, data: REF _ NIL] RETURNS [dfFiles: INT]; <> <> <> <> <> <<>> CreateShortToFullMapping: PROC RETURNS [mapping: REF]; ShortToFullMapping: PROC [mapping: REF, short: ROPE] RETURNS [full: ROPE]; <> <> END.