MakeDoBasics.Mesa

DIRECTORY BasicTime, CedarProcess, Commander, IO, List, MakeDo, MakeDoPrivate, RedBlackTree, Rope, TimeStamp;

For stuff inside the Basic monitor.

MakeDoBasics: CEDAR DEFINITIONS =

BEGIN OPEN MakeDo, MakeDoPrivate;

DoIn: PROC [PROC];

InnerSetModifiability: --INTERNAL-- PROC [n: Node, goals: RefTable, ms: ModifiabilitySpec];

InnerGetProduced: --INTERNAL-- PROC [n: Node];

InnerLeaf: --INTERNAL-- PROC [n: Node] RETURNS [isLeaf: BOOL];

SetBroken: --INTERNAL-- PROC [n: Node, broken: BOOL];

InnerRederive: --INTERNAL-- PROC [a: Action];

SetCurrency: --INTERNAL-- PROC [n: Node, current: ExpensiveBool];

StatelessEnumerateRefTable: PROC [table: RefTable, EachNode: RedBlackTree.EachNode];

END.