ErrorHandling.def 236 B

1234567891011
  1. DEFINITION MODULE ErrorHandling;
  2. FROM Scanner IMPORT POSITION;
  3. (* EXPORT QUALIFIED PrintError1, PrintError2; *)
  4. PROCEDURE PrintError1(n : CARDINAL; p: POSITION);
  5. PROCEDURE PrintError2(n : CARDINAL; p: POSITION);
  6. END ErrorHandling.