<> <> <> DIRECTORY BasicTime USING [GMT, nullGMT], Rope USING [ROPE]; <> FSExtras: CEDAR DEFINITIONS = BEGIN <> NewCopy: PROC [from, to: Rope.ROPE, setKeep: BOOLEAN _ FALSE, keep: CARDINAL _ 1, wantedCreatedTime: BasicTime.GMT _ BasicTime.nullGMT, remoteCheck: BOOLEAN _ TRUE, attach: BOOLEAN _ FALSE, wDir: Rope.ROPE _ NIL] RETURNS [toFName: Rope.ROPE]; <> RemoteOp: TYPE = {startRetrieving, endRetrieving, startStoring, endStoring, startDeleting, endDeleting, startRenaming, endRenaming, startFlushing, endFlushing}; RemoteEvent: TYPE = RECORD [ op: RemoteOp, -- remote operation that has occurred fName: Rope.ROPE, -- full GName of the remote file operated upon chain: REF RemoteEvent -- used internally to chain events together ]; NextRemoteEvent: PROC [REF READONLY RemoteEvent _ NIL] RETURNS [REF READONLY RemoteEvent]; <> <> <> <> CreateOp: TYPE = {writeClose, renameTo, copyTo}; CreateEvent: TYPE = RECORD [ op: CreateOp, -- creation operation that has occurred fName: Rope.ROPE, -- full LName of the local file that has been created chain: REF CreateEvent -- used internally to chain events together ]; NextCreateEvent: PROC [REF READONLY CreateEvent _ NIL] RETURNS [REF READONLY CreateEvent]; <> <> <> END.