DEFINITION MODULE IOResult;

	(* Obtain read results on specified channels *)

IMPORT IOConsts;
FROM   IOChan IMPORT ChanId;

TYPE
  ReadResults = IOConsts.ReadResults;

(* ReadResults = (* This type is used to classify the result of an input operation *)
  (
  notKnown,     (* no read result is set *)
  allRight,     (* data is as expected or as required *)
  outOfRange,   (* data cannot be represented *)
  wrongFormat,  (* data not in expected form *)
  endOfLine,    (* end of line seen before expected data *)
  endOfInput,   (* end of input seen before expected data *)
  );
*)

PROCEDURE ReadResult (cid : ChanId): ReadResults;
(* Returns the result for the last read operation on the channel *)

END IOResult.