-- TexHashDefs.mesa

-- last written by Doug Wyatt, September 22, 1979  4:38 PM

DIRECTORY
	TexDefs: FROM "TexDefs";

TexHashDefs: DEFINITIONS =
BEGIN

maxidsize: CARDINAL=80;

hashsize: CARDINAL = 499;
HashTableIndex: TYPE = [0..hashsize);
nilHashIndex: HashTableIndex = 0; -- for undefined control sequence

hashLength: CARDINAL = hashsize+128; -- 128 is the number of Char values
HashIndex: TYPE = [0..hashLength);

NoNewControlSeq: PROCEDURE[BOOLEAN];
IdLookup: PROCEDURE[STRING] RETURNS[HashIndex];
HashLookup: PROCEDURE[id: STRING, insert: BOOLEAN] RETURNS[HashIndex];
HashOut: PROCEDURE[HashIndex];
IdName: PROCEDURE[s: STRING, h: HashIndex];

END.