M2compiler-V3/stdlib/sioresult.def

DEFINITION MODULE SIOResult;
(* ISO 10514-1: the read result of the last operation on the default
   input channel.

   V3 extension: SetReadResult lets the text-IO modules record the
   status; it is not part of ISO 10514-1 (extra exports are harmless
   to standard clients). *)

IMPORT IOConsts;

TYPE
  ReadResults = IOConsts.ReadResults;

PROCEDURE ReadResult () : ReadResults;
(* The result of the last read on the default input channel. *)

PROCEDURE SetReadResult (r : ReadResults);
(* Records a new read result (called by STextIO/SWholeIO/SRealIO). *)

END SIOResult.