-- 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