CRP.def 813 B

12345678910111213141516171819202122232425262728
  1. DEFINITION MODULE CRP;
  2. (* Parser generated by Coco/R *)
  3. PROCEDURE Parse;
  4. PROCEDURE Successful (): BOOLEAN;
  5. (* Returns TRUE if no errors have been recorded while parsing *)
  6. PROCEDURE SynError (errNo: INTEGER);
  7. (* Report syntax error errNo *)
  8. PROCEDURE SemError (errNo: INTEGER);
  9. (* Report semantic error errNo *)
  10. PROCEDURE LexString (VAR Lex: ARRAY OF CHAR);
  11. (* Retrieves Lex as exact spelling of current token *)
  12. PROCEDURE LexName (VAR Lex: ARRAY OF CHAR);
  13. (* Retrieves Lex as name of current token (capitalized if IGNORE CASE) *)
  14. PROCEDURE LookAheadName (VAR Lex: ARRAY OF CHAR);
  15. (* Retrieves Lex as exact spelling of lookahead token *)
  16. PROCEDURE LookAheadString (VAR Lex: ARRAY OF CHAR);
  17. (* Retrieves Lex as name of lookahead token (capitalized if IGNORE CASE) *)
  18. END CRP.