Site Menu Project Specification Implementation Recommendations Reference Needs Updating Work in Progress Wastebasket Wiki Manual |
IO Module INTEGERSpec.IOModuleINTEGER HistoryHide minor edits - Show changes to output 2010-05-24 12:50
by -
Changed lines 3-4 from:
(* to:
(* I/O Module for Type INTEGER *) Changed lines 7-8 from:
(* to:
(* EBNF of the textual representation of INTEGER values: cardinalValue : simpleFormat | cBase16Format | m2Base16Format | universalFormat ; Changed lines 11-12 from:
to:
cBase16Format : "0x" base16Digit+ ; m2Base16Format : "0" base16Digit+ "H" ; Changed lines 14-15 from:
sign : to:
sign : "+" | "-" ; fillChar : " " | "*" | "0" ; Changed line 17 from:
separator : to:
separator : " " | "." | "," ; Changed lines 20-23 from:
decimalDigit : PROCEDURE Read( infile to:
decimalDigit : "0" .. "9" ; base16Digit : decimalDigit | "A" .. "F" ; *) PROCEDURE Read ( infile : File; VAR n : INTEGER ); (* Reads the textual representation of an INTEGER value from stream infile Changed lines 26-35 from:
- any remaining characters that are part of the PROCEDURE Write( outfile : File; n : INTEGER ); (* Writes the textual representation PROCEDURE WriteF( outfile (* Writes a formatted textual representation of one or more INTEGER values to output stream outfile. The value to:
- any remaining characters that are part of the value being read are removed from infile - the textual representation of the value read is assigned to n - the file status is set to any of: success, outOfRange, wrongFormat, endOfLine, or endOfInput. This procedure is substituted for invocations of READ with an INTEGER argument.*) PROCEDURE Write ( outfile : File; n : INTEGER ); (* Writes the value of INTEGER n in simple format to stream outfile. This pro- cedure is substituted for invocations of WRITE with an INTEGER argument. *) PROCEDURE WriteF ( outfile : File; CONST fmtStr : ARRAY OF CHAR; items : VARIADIC OF INTEGER ); (* Writes a formatted textual representation of one or more INTEGER values to output stream outfile. The output format is determined by fmtStr. This procedure is substituted for invocations of WRITEF with one or more INTEGER arguments. *) |