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
83
84
85
86
87
88
89
90
91
92
93
|
(* Copyright (C) 2009 Free Software Foundation, Inc. *)
(* 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 2, 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.
You should have received a copy of the GNU General Public License along
with gm2; see the file COPYING. If not, write to the Free Software
Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *)
MODULE testreal2 ;
FROM FpuIO IMPORT WriteLongReal, LongRealToStr ;
FROM StrLib IMPORT StrEqual ;
FROM libc IMPORT exit, printf ;
FROM StrIO IMPORT WriteLn ;
FROM FIO IMPORT FlushBuffer, StdOut ;
PROCEDURE Assert (b: BOOLEAN; l: CARDINAL) ;
BEGIN
IF NOT b
THEN
FlushBuffer(StdOut) ;
printf("%s:%d:regression test failed during execution\n",
__FILE__, l) ;
r := 1
END
END Assert ;
VAR
a: LONGREAL;
s: ARRAY [0..20] OF CHAR ;
r: INTEGER ;
BEGIN
r := 0 ;
a := -0.01 ;
WriteLongReal(a, 5, 2) ; WriteLn ;
LongRealToStr(a, 5, 2, s) ;
Assert(StrEqual(s, '-0.01'), __LINE__) ;
a := 0.1 ;
WriteLongReal(a,15,11) ; WriteLn ;
LongRealToStr(a, 15, 11, s) ;
Assert(StrEqual(s, ' 0.10000000000'), __LINE__) ;
a := 0.01 ;
WriteLongReal(a, 5, 2) ; WriteLn ;
LongRealToStr(a, 5, 2, s) ;
Assert(StrEqual(s, ' 0.01'), __LINE__) ;
a := 0.000000001 ;
WriteLongReal(a, 11, 9) ; WriteLn ;
LongRealToStr(a, 11, 9, s) ;
Assert(StrEqual(s, '0.000000001'), __LINE__) ;
a := 0.00000001 ;
WriteLongReal(a, 10, 8) ; WriteLn ;
LongRealToStr(a, 10, 8, s) ;
Assert(StrEqual(s, '0.00000001'), __LINE__) ;
a := 0.25 ;
WriteLongReal(a,15,11) ; WriteLn ;
LongRealToStr(a, 15, 11, s) ;
Assert(StrEqual(s, ' 0.25000000000'), __LINE__) ;
a := 0.12 ;
WriteLongReal(a, 5, 2) ; WriteLn ;
LongRealToStr(a, 5, 2, s) ;
Assert(StrEqual(s, ' 0.12'), __LINE__) ;
a := 0.001 ;
WriteLongReal(a, 6, 3) ; WriteLn ;
LongRealToStr(a, 6, 3, s) ;
Assert(StrEqual(s, ' 0.001'), __LINE__) ;
a := 0.0001 ;
WriteLongReal(a, 7, 4) ; WriteLn ;
LongRealToStr(a, 7, 4, s) ;
Assert(StrEqual(s, ' 0.0001'), __LINE__) ;
a := 0.00001 ;
WriteLongReal(a, 8, 5) ; WriteLn ;
LongRealToStr(a, 8, 5, s) ;
Assert(StrEqual(s, ' 0.00001'), __LINE__) ;
END testreal2.
|
