[Indigo]<Rosemary>3.0>RoseConditions.Mesa!3

[Indigo]<Rosemary>Ž>Rosemary.DF=>RoseConditions.Mesa

Last Edited by: Spreitzer, April 28, 1985 5:28:27 pm PDT

DIRECTORY RoseTypes, Trees;

RoseConditions: CEDAR DEFINITIONS =

BEGIN OPEN RoseTypes;

Condition: TYPE = Trees.TreeNode;

A Boolean combination (via Trees.and, or, and not) of leaves. Each leaf is of type test, and contains a NodeTester.

test: Trees.NodeType;

NodeTester: TYPE = REF NodeTesterRep;

NodeTesterRep: TYPE = RECORD [

node: Node,

nodeName: ROPE,

nodeFormat: Format,

test: NodeTest ← [NIL, NIL]];

IncrementalCondition: TYPE = REF IncrementalConditionRep;

IncrementalConditionRep: TYPE;

PostOnSettle: PROC [sim: Simulation, condition: Condition];

UnPostOnSettle: PROC [sim: Simulation, condition: Condition];

PostIncrementally: PROC [cond: Condition] RETURNS [ic: IncrementalCondition];

UnPostIncrementally: PUBLIC PROC [ic: IncrementalCondition];

END.