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 ARRAYOFCHAR

Spec.IOModuleARRAYOFCHAR History

Hide minor edits - Show changes to markup

2010-05-24 12:45 by benjk -
Changed lines 3-4 from:

(* File based I/O for ARRAY OF CHAR types *)

to:

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

Changed lines 7-18 from:

PROCEDURE Read( infile : File; VAR s : ARRAY OF CHAR ); (* Attempts to read a 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 CHAR ); (* Writes string s to output stream outfile, unformatted. *)

PROCEDURE Write F?( outfile : File; fmtStr : ARRAY OF CHAR; items : CARDINAL; 

                  VARIADIC v[items] OF s : ARRAY OF CHAR );

(* Writes a formatted textual representation of one or more 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 CHAR ); (* 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 function is substituted for invocations of READ with an
   ARRAY OF CHAR type argument. *)

PROCEDURE Write ( outfile : File; s : ARRAY OF CHAR ); (* Writes string s to stream outfile. This function is substituted 

   for invocations of WRITE with an ARRAY OF CHAR type argument.*)

PROCEDURE Write F? ( outfile : File; 

                   CONST fmtStr : ARRAY OF CHAR;
                   items        : VARIADIC CONST OF ARRAY OF CHAR );

(* Writes a formatted textual representation of one or more ARRAY OF CHAR 

   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 CHAR arguments. *)
Restore