<<>> <> <> <> <<>> <> DIRECTORY IO USING [STREAM], MailRetrieve USING [MBXState], MailUtils USING [Credentials], Rope USING [ROPE], WalnutDefs USING [CheckReportProc, WalnutOpsHandle]; WalnutNewMail: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; EnableMailRetrieval: PROC[ opsHandle: WalnutDefs.WalnutOpsHandle, registeredUsers: LIST OF MailUtils.Credentials, reportProc, progressProc: WalnutDefs.CheckReportProc, getMailLog: PROC[opsHandle: WalnutDefs.WalnutOpsHandle] RETURNS[IO.STREAM], recordMailInfo: PROC[opsHandle: WalnutDefs.WalnutOpsHandle, logLen: INT, server: ROPE, num: INT] RETURNS[BOOL], notifyWhenMailRetrieved: PROC[opsHandle: WalnutDefs.WalnutOpsHandle, ok: BOOL, someMail: BOOL] ¬ NIL ]; <> DisableMailRetrieval: PROC[opsHandle: WalnutDefs.WalnutOpsHandle]; <<-- turns off mail retrieval>> GetLastMailBoxStatus: PROC[opsHandle: WalnutDefs.WalnutOpsHandle] RETURNS[mbxState: MailRetrieve.MBXState, status: ROPE]; CheckMailBoxes: PROC[opsHandle: WalnutDefs.WalnutOpsHandle]; <> END.