DEFINITION MODULE ARRAYOFUNICHAR;

(* I/O Module for ARRAY OF CHAR Types *)

FROM FileIO IMPORT File;

PROCEDURE Read ( infile : File; VAR s : ARRAY OF UNICHAR );
(* Reads a string 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 s
   - the file status is set to any of:
     success, outOfRange, wrongFormat, endOfLine, or endOfInput.
   This procedure is substituted for invocations of READ with an
   ARRAY OF UNICHAR type argument. *)

PROCEDURE Write ( outfile : File; CONST s : ARRAY OF UNICHAR );
(* Writes string s to stream outfile. This procedure is substituted
   for invocations of WRITE with an ARRAY OF UNICHAR type argument.*)

PROCEDURE WriteF ( outfile      : File;
                   CONST fmtStr : ARRAY OF CHAR;
                   items        : VARIADIC OF CONST ARRAY OF UNICHAR );
(* Writes a formatted textual representation of one or more ARRAY OF 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
   ARRAY OF UNICHAR arguments. *)

END ARRAYOFUNICHAR.