<<-- TreeCheck.Mesa>> <<-- written by Pier. February, 1981>> <<-- last written by Paxton. 20-May-81 10:44:14>> <<-- 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.>> DIRECTORY TextNode; TreeCheck: CEDAR DEFINITIONS = BEGIN Node: TYPE = TextNode.Ref; Verify: PROC [node: Node]; END. Log Created February 18, 1981, by Pier. Modified for new node structure 20-May-81, by Paxton