TreeCheck.Mesa; written by Pier. February, 1981
edited by Paxton, 20-May-81 10:44:14
edited by McGregor, February 8, 1983 9:41 am
Last Edited by: Lamming, February 24, 1983 9:09 am
Verify: a procedure called to verify that a Tioga tree structure is valid. If a problem is discovered, an exit to the debugger with an error message and locale is taken.
TreeCheck: CEDAR DEFINITIONS =
BEGIN
Node: TYPE = TiogaNode.Ref;
Verify: PROC [node: Node];
END.
Log
Created February 18, 1981, by Pier.
Modified for new node structure 20-May-81, by Paxton
Modified to handle Tioga2 node structure February 24, 1983, by Lamming