inout.def 1.0 KB

12345678910111213141516171819202122232425262728293031323334
  1. DEFINITION MODULE InOut;
  2. (* Classic PIM terminal/file I/O (gm2-compatible interface). Output
  3. and input go to the current output/input file, which OpenOutput and
  4. OpenInput redirect; Done reports whether a file operation succeeded.
  5. ReadS/WriteS (the DynamicStrings variants) are not provided here. *)
  6. CONST
  7. EOL = CHR(10);
  8. VAR
  9. Done : BOOLEAN;
  10. termCH : CHAR;
  11. PROCEDURE OpenInput (defext : ARRAY OF CHAR);
  12. (* Reads a file name from standard input and opens it for reading;
  13. Done is set on success. *)
  14. PROCEDURE CloseInput;
  15. PROCEDURE OpenOutput (defext : ARRAY OF CHAR);
  16. PROCEDURE CloseOutput;
  17. PROCEDURE Read (VAR ch : CHAR);
  18. PROCEDURE ReadString (VAR s : ARRAY OF CHAR);
  19. PROCEDURE ReadInt (VAR x : INTEGER);
  20. PROCEDURE ReadCard (VAR x : CARDINAL);
  21. PROCEDURE Write (ch : CHAR);
  22. PROCEDURE WriteLn;
  23. PROCEDURE WriteString (s : ARRAY OF CHAR);
  24. PROCEDURE WriteInt (x : INTEGER; n : CARDINAL);
  25. PROCEDURE WriteCard (x : CARDINAL; n : CARDINAL);
  26. PROCEDURE WriteOct (x : CARDINAL; n : CARDINAL);
  27. PROCEDURE WriteHex (x : CARDINAL; n : CARDINAL);
  28. END InOut.