SRAWIO.DEF 639 B

123456789101112131415161718192021
  1. DEFINITION MODULE SRawIO;
  2. (* Reading and writing data over default channels using raw operations,
  3. that is, with no conversion or interpretation. The read result is of
  4. the type IOConsts.ReadResults.
  5. *)
  6. FROM SYSTEM IMPORT LOC;
  7. PROCEDURE Read (VAR to : ARRAY OF LOC);
  8. (* Reads storage units and assigns to successive components of the
  9. parameter to.
  10. The read result is set to the value allRight, wrongFormat, or
  11. endOfInput *)
  12. PROCEDURE Write (from : ARRAY OF LOC);
  13. (* Writes storage units from successive components of the
  14. parameter from *)
  15. END SRawIO.