/[eiffelstudio]/trunk/eweasel/tests/exec257/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/exec257/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years, 1 month ago) by manus
File size: 9283 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1
2 class TEST
3 create
4 make
5 feature
6
7 make is
8 do
9 show ("1 = 1.0", 1 = 1.0)
10 show ("1 = {REAL} 1.0", 1 = {REAL} 1.0)
11 show ("1 = {DOUBLE} 1.0", 1 = {DOUBLE} 1.0)
12 show ("1 = {INTEGER_8} 1", 1 = {INTEGER_8} 1)
13 show ("1 = {INTEGER_16} 1", 1 = {INTEGER_16} 1)
14 show ("1 = {INTEGER_32} 1", 1 = {INTEGER_32} 1)
15 show ("1 = {INTEGER_64} 1", 1 = {INTEGER_64} 1)
16 show ("1 = {NATURAL_8} 1", 1 = {NATURAL_8} 1)
17 show ("1 = {NATURAL_16} 1", 1 = {NATURAL_16} 1)
18 show ("1 = {NATURAL_32} 1", 1 = {NATURAL_32} 1)
19 show ("1 = {NATURAL_64} 1", 1 = {NATURAL_64} 1)
20
21 show ("1.0 = 1.0", 1.0 = 1.0)
22 show ("1.0 = {REAL} 1.0", 1.0 = {REAL} 1.0)
23 show ("1.0 = {DOUBLE} 1.0", 1.0 = {DOUBLE} 1.0)
24 show ("1.0 = {INTEGER_8} 1", 1.0 = {INTEGER_8} 1)
25 show ("1.0 = {INTEGER_16} 1", 1.0 = {INTEGER_16} 1)
26 show ("1.0 = {INTEGER_32} 1", 1.0 = {INTEGER_32} 1)
27 show ("1.0 = {INTEGER_64} 1", 1.0 = {INTEGER_64} 1)
28 show ("1.0 = {NATURAL_8} 1", 1.0 = {NATURAL_8} 1)
29 show ("1.0 = {NATURAL_16} 1", 1.0 = {NATURAL_16} 1)
30 show ("1.0 = {NATURAL_32} 1", 1.0 = {NATURAL_32} 1)
31 show ("1.0 = {NATURAL_64} 1", 1.0 = {NATURAL_64} 1)
32
33 show ("{REAL} 1.0 = 1.0", {REAL} 1.0 = 1.0)
34 show ("{REAL} 1.0 = {REAL} 1.0", {REAL} 1.0 = {REAL} 1.0)
35 show ("{REAL} 1.0 = {DOUBLE} 1.0", {REAL} 1.0 = {DOUBLE} 1.0)
36 show ("{REAL} 1.0 = {INTEGER_8} 1", {REAL} 1.0 = {INTEGER_8} 1)
37 show ("{REAL} 1.0 = {INTEGER_16} 1", {REAL} 1.0 = {INTEGER_16} 1)
38 show ("{REAL} 1.0 = {INTEGER_32} 1", {REAL} 1.0 = {INTEGER_32} 1)
39 show ("{REAL} 1.0 = {INTEGER_64} 1", {REAL} 1.0 = {INTEGER_64} 1)
40 show ("{REAL} 1.0 = {NATURAL_8} 1", {REAL} 1.0 = {NATURAL_8} 1)
41 show ("{REAL} 1.0 = {NATURAL_16} 1", {REAL} 1.0 = {NATURAL_16} 1)
42 show ("{REAL} 1.0 = {NATURAL_32} 1", {REAL} 1.0 = {NATURAL_32} 1)
43 show ("{REAL} 1.0 = {NATURAL_64} 1", {REAL} 1.0 = {NATURAL_64} 1)
44
45 show ("{DOUBLE} 1.0 = 1.0", {DOUBLE} 1.0 = 1.0)
46 show ("{DOUBLE} 1.0 = {REAL} 1.0", {DOUBLE} 1.0 = {REAL} 1.0)
47 show ("{DOUBLE} 1.0 = {DOUBLE} 1.0", {DOUBLE} 1.0 = {DOUBLE} 1.0)
48 show ("{DOUBLE} 1.0 = {INTEGER_8} 1", {DOUBLE} 1.0 = {INTEGER_8} 1)
49 show ("{DOUBLE} 1.0 = {INTEGER_16} 1", {DOUBLE} 1.0 = {INTEGER_16} 1)
50 show ("{DOUBLE} 1.0 = {INTEGER_32} 1", {DOUBLE} 1.0 = {INTEGER_32} 1)
51 show ("{DOUBLE} 1.0 = {INTEGER_64} 1", {DOUBLE} 1.0 = {INTEGER_64} 1)
52 show ("{DOUBLE} 1.0 = {NATURAL_8} 1", {DOUBLE} 1.0 = {NATURAL_8} 1)
53 show ("{DOUBLE} 1.0 = {NATURAL_16} 1", {DOUBLE} 1.0 = {NATURAL_16} 1)
54 show ("{DOUBLE} 1.0 = {NATURAL_32} 1", {DOUBLE} 1.0 = {NATURAL_32} 1)
55 show ("{DOUBLE} 1.0 = {NATURAL_64} 1", {DOUBLE} 1.0 = {NATURAL_64} 1)
56
57 show ("{INTEGER_8} 1 = 1.0", {INTEGER_8} 1 = 1.0)
58 show ("{INTEGER_8} 1 = {REAL} 1.0", {INTEGER_8} 1 = {REAL} 1.0)
59 show ("{INTEGER_8} 1 = {DOUBLE} 1.0", {INTEGER_8} 1 = {DOUBLE} 1.0)
60 show ("{INTEGER_8} 1 = {INTEGER_8} 1", {INTEGER_8} 1 = {INTEGER_8} 1)
61 show ("{INTEGER_8} 1 = {INTEGER_16} 1", {INTEGER_8} 1 = {INTEGER_16} 1)
62 show ("{INTEGER_8} 1 = {INTEGER_32} 1", {INTEGER_8} 1 = {INTEGER_32} 1)
63 show ("{INTEGER_8} 1 = {INTEGER_64} 1", {INTEGER_8} 1 = {INTEGER_64} 1)
64 show ("{INTEGER_8} 1 = {NATURAL_8} 1", {INTEGER_8} 1 = {NATURAL_8} 1)
65 show ("{INTEGER_8} 1 = {NATURAL_16} 1", {INTEGER_8} 1 = {NATURAL_16} 1)
66 show ("{INTEGER_8} 1 = {NATURAL_32} 1", {INTEGER_8} 1 = {NATURAL_32} 1)
67 show ("{INTEGER_8} 1 = {NATURAL_64} 1", {INTEGER_8} 1 = {NATURAL_64} 1)
68
69 show ("{INTEGER_16} 1 = 1.0", {INTEGER_16} 1 = 1.0)
70 show ("{INTEGER_16} 1 = {REAL} 1.0", {INTEGER_16} 1 = {REAL} 1.0)
71 show ("{INTEGER_16} 1 = {DOUBLE} 1.0", {INTEGER_16} 1 = {DOUBLE} 1.0)
72 show ("{INTEGER_16} 1 = {INTEGER_8} 1", {INTEGER_16} 1 = {INTEGER_8} 1)
73 show ("{INTEGER_16} 1 = {INTEGER_16} 1", {INTEGER_16} 1 = {INTEGER_16} 1)
74 show ("{INTEGER_16} 1 = {INTEGER_32} 1", {INTEGER_16} 1 = {INTEGER_32} 1)
75 show ("{INTEGER_16} 1 = {INTEGER_64} 1", {INTEGER_16} 1 = {INTEGER_64} 1)
76 show ("{INTEGER_16} 1 = {NATURAL_8} 1", {INTEGER_16} 1 = {NATURAL_8} 1)
77 show ("{INTEGER_16} 1 = {NATURAL_16} 1", {INTEGER_16} 1 = {NATURAL_16} 1)
78 show ("{INTEGER_16} 1 = {NATURAL_32} 1", {INTEGER_16} 1 = {NATURAL_32} 1)
79 show ("{INTEGER_16} 1 = {NATURAL_64} 1", {INTEGER_16} 1 = {NATURAL_64} 1)
80
81 show ("{INTEGER_32} 1 = 1.0", {INTEGER_32} 1 = 1.0)
82 show ("{INTEGER_32} 1 = {REAL} 1.0", {INTEGER_32} 1 = {REAL} 1.0)
83 show ("{INTEGER_32} 1 = {DOUBLE} 1.0", {INTEGER_32} 1 = {DOUBLE} 1.0)
84 show ("{INTEGER_32} 1 = {INTEGER_8} 1", {INTEGER_32} 1 = {INTEGER_8} 1)
85 show ("{INTEGER_32} 1 = {INTEGER_16} 1", {INTEGER_32} 1 = {INTEGER_16} 1)
86 show ("{INTEGER_32} 1 = {INTEGER_32} 1", {INTEGER_32} 1 = {INTEGER_32} 1)
87 show ("{INTEGER_32} 1 = {INTEGER_64} 1", {INTEGER_32} 1 = {INTEGER_64} 1)
88 show ("{INTEGER_32} 1 = {NATURAL_8} 1", {INTEGER_32} 1 = {NATURAL_8} 1)
89 show ("{INTEGER_32} 1 = {NATURAL_16} 1", {INTEGER_32} 1 = {NATURAL_16} 1)
90 show ("{INTEGER_32} 1 = {NATURAL_32} 1", {INTEGER_32} 1 = {NATURAL_32} 1)
91 show ("{INTEGER_32} 1 = {NATURAL_64} 1", {INTEGER_32} 1 = {NATURAL_64} 1)
92
93 show ("{INTEGER_64} 1 = 1.0", {INTEGER_64} 1 = 1.0)
94 show ("{INTEGER_64} 1 = {REAL} 1.0", {INTEGER_64} 1 = {REAL} 1.0)
95 show ("{INTEGER_64} 1 = {DOUBLE} 1.0", {INTEGER_64} 1 = {DOUBLE} 1.0)
96 show ("{INTEGER_64} 1 = {INTEGER_8} 1", {INTEGER_64} 1 = {INTEGER_8} 1)
97 show ("{INTEGER_64} 1 = {INTEGER_16} 1", {INTEGER_64} 1 = {INTEGER_16} 1)
98 show ("{INTEGER_64} 1 = {INTEGER_32} 1", {INTEGER_64} 1 = {INTEGER_32} 1)
99 show ("{INTEGER_64} 1 = {INTEGER_64} 1", {INTEGER_64} 1 = {INTEGER_64} 1)
100 show ("{INTEGER_64} 1 = {NATURAL_8} 1", {INTEGER_64} 1 = {NATURAL_8} 1)
101 show ("{INTEGER_64} 1 = {NATURAL_16} 1", {INTEGER_64} 1 = {NATURAL_16} 1)
102 show ("{INTEGER_64} 1 = {NATURAL_32} 1", {INTEGER_64} 1 = {NATURAL_32} 1)
103 show ("{INTEGER_64} 1 = {NATURAL_64} 1", {INTEGER_64} 1 = {NATURAL_64} 1)
104
105 show ("{NATURAL_8} 1 = 1.0", {NATURAL_8} 1 = 1.0)
106 show ("{NATURAL_8} 1 = {REAL} 1.0", {NATURAL_8} 1 = {REAL} 1.0)
107 show ("{NATURAL_8} 1 = {DOUBLE} 1.0", {NATURAL_8} 1 = {DOUBLE} 1.0)
108 show ("{NATURAL_8} 1 = {INTEGER_8} 1", {NATURAL_8} 1 = {INTEGER_8} 1)
109 show ("{NATURAL_8} 1 = {INTEGER_16} 1", {NATURAL_8} 1 = {INTEGER_16} 1)
110 show ("{NATURAL_8} 1 = {INTEGER_32} 1", {NATURAL_8} 1 = {INTEGER_32} 1)
111 show ("{NATURAL_8} 1 = {INTEGER_64} 1", {NATURAL_8} 1 = {INTEGER_64} 1)
112 show ("{NATURAL_8} 1 = {NATURAL_8} 1", {NATURAL_8} 1 = {NATURAL_8} 1)
113 show ("{NATURAL_8} 1 = {NATURAL_16} 1", {NATURAL_8} 1 = {NATURAL_16} 1)
114 show ("{NATURAL_8} 1 = {NATURAL_32} 1", {NATURAL_8} 1 = {NATURAL_32} 1)
115 show ("{NATURAL_8} 1 = {NATURAL_64} 1", {NATURAL_8} 1 = {NATURAL_64} 1)
116
117 show ("{NATURAL_16} 1 = 1.0", {NATURAL_16} 1 = 1.0)
118 show ("{NATURAL_16} 1 = {REAL} 1.0", {NATURAL_16} 1 = {REAL} 1.0)
119 show ("{NATURAL_16} 1 = {DOUBLE} 1.0", {NATURAL_16} 1 = {DOUBLE} 1.0)
120 show ("{NATURAL_16} 1 = {INTEGER_8} 1", {NATURAL_16} 1 = {INTEGER_8} 1)
121 show ("{NATURAL_16} 1 = {INTEGER_16} 1", {NATURAL_16} 1 = {INTEGER_16} 1)
122 show ("{NATURAL_16} 1 = {INTEGER_32} 1", {NATURAL_16} 1 = {INTEGER_32} 1)
123 show ("{NATURAL_16} 1 = {INTEGER_64} 1", {NATURAL_16} 1 = {INTEGER_64} 1)
124 show ("{NATURAL_16} 1 = {NATURAL_8} 1", {NATURAL_16} 1 = {NATURAL_8} 1)
125 show ("{NATURAL_16} 1 = {NATURAL_16} 1", {NATURAL_16} 1 = {NATURAL_16} 1)
126 show ("{NATURAL_16} 1 = {NATURAL_32} 1", {NATURAL_16} 1 = {NATURAL_32} 1)
127 show ("{NATURAL_16} 1 = {NATURAL_64} 1", {NATURAL_16} 1 = {NATURAL_64} 1)
128
129 show ("{NATURAL_32} 1 = 1.0", {NATURAL_32} 1 = 1.0)
130 show ("{NATURAL_32} 1 = {REAL} 1.0", {NATURAL_32} 1 = {REAL} 1.0)
131 show ("{NATURAL_32} 1 = {DOUBLE} 1.0", {NATURAL_32} 1 = {DOUBLE} 1.0)
132 show ("{NATURAL_32} 1 = {INTEGER_8} 1", {NATURAL_32} 1 = {INTEGER_8} 1)
133 show ("{NATURAL_32} 1 = {INTEGER_16} 1", {NATURAL_32} 1 = {INTEGER_16} 1)
134 show ("{NATURAL_32} 1 = {INTEGER_32} 1", {NATURAL_32} 1 = {INTEGER_32} 1)
135 show ("{NATURAL_32} 1 = {INTEGER_64} 1", {NATURAL_32} 1 = {INTEGER_64} 1)
136 show ("{NATURAL_32} 1 = {NATURAL_8} 1", {NATURAL_32} 1 = {NATURAL_8} 1)
137 show ("{NATURAL_32} 1 = {NATURAL_16} 1", {NATURAL_32} 1 = {NATURAL_16} 1)
138 show ("{NATURAL_32} 1 = {NATURAL_32} 1", {NATURAL_32} 1 = {NATURAL_32} 1)
139 show ("{NATURAL_32} 1 = {NATURAL_64} 1", {NATURAL_32} 1 = {NATURAL_64} 1)
140
141 show ("{NATURAL_64} 1 = 1.0", {NATURAL_64} 1 = 1.0)
142 show ("{NATURAL_64} 1 = {REAL} 1.0", {NATURAL_64} 1 = {REAL} 1.0)
143 show ("{NATURAL_64} 1 = {DOUBLE} 1.0", {NATURAL_64} 1 = {DOUBLE} 1.0)
144 show ("{NATURAL_64} 1 = {INTEGER_8} 1", {NATURAL_64} 1 = {INTEGER_8} 1)
145 show ("{NATURAL_64} 1 = {INTEGER_16} 1", {NATURAL_64} 1 = {INTEGER_16} 1)
146 show ("{NATURAL_64} 1 = {INTEGER_32} 1", {NATURAL_64} 1 = {INTEGER_32} 1)
147 show ("{NATURAL_64} 1 = {INTEGER_64} 1", {NATURAL_64} 1 = {INTEGER_64} 1)
148 show ("{NATURAL_64} 1 = {NATURAL_8} 1", {NATURAL_64} 1 = {NATURAL_8} 1)
149 show ("{NATURAL_64} 1 = {NATURAL_16} 1", {NATURAL_64} 1 = {NATURAL_16} 1)
150 show ("{NATURAL_64} 1 = {NATURAL_32} 1", {NATURAL_64} 1 = {NATURAL_32} 1)
151 show ("{NATURAL_64} 1 = {NATURAL_64} 1", {NATURAL_64} 1 = {NATURAL_64} 1)
152 c := 1
153 d := 1
154 show ("c = d", c = d)
155 end
156
157 c: INTEGER_8
158 d: NATURAL_32
159
160 show (s: STRING b: BOOLEAN) is
161 do
162 if not b then
163 io.put_string (s + " ");
164 io.put_boolean (b); io.new_line
165 end
166 end
167 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23