1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
(* ShortIO.def provides input/output of SHORTREAL over channels.
Copyright (C) 2013-2023 Free Software Foundation, Inc.
Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>.
This file is part of GNU Modula-2.
GNU Modula-2 is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GNU Modula-2 is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
<http://www.gnu.org/licenses/>. *)
DEFINITION MODULE ShortIO;
(* Input and output of short real numbers in decimal text form
over specified channels. The read result is of the type
IOConsts.ReadResults.
*)
IMPORT IOChan;
(* The text form of a signed fixed-point real number is
["+" | "-"], decimal digit, {decimal digit}, [".",
{decimal digit}]
The text form of a signed floating-point real number is
signed fixed-point real number,
"E", ["+" | "-"], decimal digit, {decimal digit}
*)
PROCEDURE ReadReal (cid: IOChan.ChanId; VAR real: SHORTREAL);
(* Skips leading spaces, and removes any remaining characters
from cid that form part of a signed fixed or floating
point number. The value of this number is assigned to real.
The read result is set to the value allRight, outOfRange,
wrongFormat, endOfLine, or endOfInput.
*)
PROCEDURE WriteFloat (cid: IOChan.ChanId; real: SHORTREAL;
sigFigs: CARDINAL; width: CARDINAL);
(* Writes the value of real to cid in floating-point text form,
with sigFigs significant figures, in a field of the given
minimum width.
*)
PROCEDURE WriteEng (cid: IOChan.ChanId; real: SHORTREAL;
sigFigs: CARDINAL; width: CARDINAL);
(* As for WriteFloat, except that the number is scaled with
one to three digits in the whole number part, and with an
exponent that is a multiple of three.
*)
PROCEDURE WriteFixed (cid: IOChan.ChanId; real: SHORTREAL;
place: INTEGER; width: CARDINAL);
(* Writes the value of real to cid in fixed-point text form,
rounded to the given place relative to the decimal point,
in a field of the given minimum width.
*)
PROCEDURE WriteReal (cid: IOChan.ChanId; real: SHORTREAL;
width: CARDINAL);
(* Writes the value of real to cid, as WriteFixed if the
sign and magnitude can be shown in the given width, or
otherwise as WriteFloat. The number of places or
significant digits depends on the given width.
*)
END ShortIO.
|
