-- WalnutControlPrivate.Mesa
-- private interface for the Walnut Control Monitor

-- Last Edited by: Willie-Sue, August 8, 1983 9:28 am

DIRECTORY
 GVRetrieve,
 Menus USING [Menu],
 Rope USING [ROPE];

WalnutControlPrivate: CEDAR DEFINITIONS =

BEGIN

segmentName: ATOM;
doingCheckpoint: BOOL;
rollbackFinished: CONDITION;

forceQuitMenu: Menus.Menu;
maybeQuitMenu: Menus.Menu;
scavMenu: Menus.Menu;
mailDBMenu: Menus.Menu;
readOnlyDBMenu: Menus.Menu;
nonMailDBMenu: Menus.Menu;

previousUser: Rope.ROPE;
mustQuitWalnut: Rope.ROPE;

lastStateReported: GVRetrieve.MBXState;

-- * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

InternalConfirm: PROC[m: Menus.Menu← NIL] RETURNS[BOOL];

WalnutNotifier: PROC;

CloseDownWalnut: PROC[doCommit: BOOL];

CloseTransactions: PROC[doCommit: BOOL];

StartOrRestartWalnut: PROC[firstTime: BOOL← FALSE, scavengeFirst: BOOL← FALSE]
 RETURNS[BOOL];

QuitWalnut: PROC[ra: REF ANY ];

ClosingWalnut: PROC[ra: REF ANY];

FixupCreateLine: PROC;

FlushWQueue: PROC;

END.