DEFINITION MODULE UNICHAR;

(* I/O Module for Type UNICHAR *)

FROM FileIO IMPORT File;

PROCEDURE Read ( infile : File; VAR ch : UNICHAR );
(* Reads a UNICHAR value from stream infile
   - any leading whitespace is skipped
   - the character being read is removed from infile
   - the code point of the character value read is assigned to ch
   - the file status is set to any of:
     success, outOfRange, wrongFormat, endOfLine, or endOfInput. This
   procedure is substituted for invocations of READ with a UNICHAR argument.*)

PROCEDURE Write ( outfile : File; ch : UNICHAR );
(* Writes the textual representation of UNICHAR ch to stream outfile. This
   procedure is substituted for invocations of WRITE with a UNICHAR argument.*)

PROCEDURE WriteF ( outfile      : File;
                   CONST fmtStr : ARRAY OF CHAR;
                   items        : VARIADIC OF UNICHAR );
(* Writes a formatted textual representation of one or more UNICHAR values to
   output stream outfile. The output format is determined by fmtStr. This
   procedure is substituted for invocations of WRITEF with one or more
   UNICHAR arguments. *)

END UNICHAR.