-- TexStringDefs.mesa

-- last written by Doug Wyatt, September 21, 1979  11:50 AM

DIRECTORY
	StreamDefs: FROM "StreamDefs" USING [StreamObject];

TexStringDefs: DEFINITIONS =
BEGIN

StringFull: SIGNAL[oldstring: STRING] RETURNS[newstring: STRING];

StringHandle: TYPE = POINTER TO Other StreamDefs.StreamObject;
CreateStringStream: PROCEDURE[STRING] RETURNS[StringHandle];

AppendChar: PROCEDURE[s: STRING, c: CHARACTER];
AppendString: PROCEDURE[s1: STRING, s2: STRING];
AppendNumber: PROCEDURE[s: STRING, val: CARDINAL, radix: CARDINAL];

CopyString: PROCEDURE[STRING] RETURNS[STRING];

EqualString: PROCEDURE[s,t: STRING] RETURNS[BOOLEAN];


TexString: PROGRAM;

END.