HerculesSyntax.mesa (ex OldJunoParserEtc)

Last Edited by: Stolfi, February 22, 1984 8:38 am

Adapted from OldJunoParserEtc
Last Edited by: Gnelson, October 11, 1983 9:39 pm

Exports the parser/unparser syntax tables for Juno, and a procedure that verifies the well-formedness of a parsed juno expression.

DIRECTORY
Rope,
HerculesParseUnparse USING [Syntax, SyntacticPredicate];

HerculesSyntax: DEFINITIONS =

BEGIN OPEN Par:HerculesParseUnparse;

junoSyntax: READONLY Par.Syntax;

WellFormed: Par.SyntacticPredicate;

END
.