Topspeed_JPI/gpm/M2SYM/RAWIO.DEF

DEFINITION MODULE RawIO;
(* Reading and writing data over specified channels using raw operations,
   that is, with no conversion or interpretation. The read result is of the
   type IOConsts.ReadResults.
*)

FROM IOLink    IMPORT ChanId;
FROM SYSTEM    IMPORT LOC;

PROCEDURE Read (    cid      : ChanId;
                VAR to       : ARRAY OF LOC);
(* Reads storage units and assigns to successive components of the
   parameter to.
   The read result is set to the value allRight, wrongFormat, or
   endOfInput *)

PROCEDURE Write (cid     : ChanId;
                 from    : ARRAY OF LOC);
(* Writes storage units from successive components of the
   parameter from *)

END RawIO.