Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

IO Module ARRAYOFUNICHAR

Spec.IOModuleARRAYOFUNICHAR History

Hide minor edits - Show changes to output

2010-05-24 12:46 by benjk -
Changed lines 3-4 from:
(* File based I/O for ARRAY OF UNICHAR types *)
to:
(* I/O Module for ARRAY OF CHAR Types *)
Changed lines 7-19 from:
PROCEDURE Read( infile : File; VAR s : ARRAY OF UNICHAR );
(* Attempts to read a UNICHAR string from input stream infile and, if successful,
  assigns the corresponding value to s  The file status of
infile is set accordingly
  to any
of allRight, endOfLine, or endOfInput. *)

PROCEDURE Write( outfile : File; s : ARRAY OF UNICHAR );
(* Writes UNICHAR string s to output stream outfile, unformatted. *)

PROCEDURE WriteF( outfile : File; fmtStr : ARRAY OF CHAR; items : CARDINAL;
   
            VARIADIC v[items] OF s : ARRAY OF UNICHAR );
(* Writes a formatted textual representation of one or more UNICHAR string values to output stream outfile.
  The value of parameter items is calculated and inserted automatically. The output format is determined
  by fmtStr. *)
to:
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
. *)