<> <> <> DIRECTORY Rope; ParserErrorDefs: CEDAR DEFINITIONS = BEGIN ErrorType: TYPE = {Fatal, FatalSyntax, FatalSemantic, FatalInternal, Advisory, Other}; ParserAbort: ERROR; -- used to signal a fatal internal error InitError: PROCEDURE RETURNS [BOOL]; FinishError: PROCEDURE RETURNS [BOOL]; Report: PROCEDURE [message: Rope.ROPE, error: ErrorType]; ErrorSummary: PROCEDURE RETURNS [ARRAY ErrorType OF CARDINAL]; END.