RoseConditions.Mesa
Last Edited by: Spreitzer, June 28, 1983 4:05 pm
DIRECTORY
Rosemary, Trees;
RoseConditions: CEDAR DEFINITIONS =
BEGIN OPEN Rosemary;
Condition: TYPE = Trees.TreeNode;
NodeTest: TYPE = REF NodeTestRep;
NodeTestRep:
TYPE =
RECORD [
node: Node,
nodeName: ROPE,
cell: Cell,
testData: REF ANY ← NIL,
testProc: TestProc ← NIL];
IncrementalCondition: TYPE = REF IncrementalConditionRep;
IncrementalConditionRep: TYPE;
test: Trees.NodeType;
PostOnCell: PROC [cell: Cell, condition: Condition];
UnPostOnCell: PROC [cell: Cell, condition: Condition];
PostIncrementally: PROC [cond: Condition] RETURNS [ic: IncrementalCondition];
UnPostIncrementally: PUBLIC PROC [ic: IncrementalCondition];
END.