Site Menu Project Specification Implementation Recommendations Reference Needs Updating Work in Progress Wastebasket Wiki Manual |
IO Module ARRAYOFCHARSpec.IOModuleARRAYOFCHAR HistoryHide minor edits - Show changes to output 2010-05-24 12:45
by -
Changed lines 3-4 from:
(* to:
(* I/O Module for ARRAY OF CHAR Types *) Changed lines 7-18 from:
PROCEDURE Read (* assigns the corresponding value to s The file status of infile is set accordingly PROCEDURE Write( outfile : File; s : ARRAY OF CHAR ); (* Writes string s to output stream outfile, unformatted. *) PROCEDURE WriteF( outfile : File; fmtStr : ARRAY OF CHAR; items : CARDINAL; (* Writes of parameter items is calculated and inserted automatically 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 WriteF ( 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. *) |