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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years, 2 months ago) by manus
File size: 1506 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 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 -- To reproduce error:
8 -- Compile class as is. Finish_freezing. Generated C code
9 -- for this class won't compile.
10
11 class TEST
12
13 creation
14 make
15 feature
16
17 make is
18 local
19 b1: BOOLEAN;
20 do
21 print (true implies true); io.new_line;
22 print (true implies false); io.new_line;
23 print (true implies b1); io.new_line;
24 print (true implies b2); io.new_line;
25 print (true implies b3); io.new_line;
26
27 print (false implies true); io.new_line;
28 print (false implies false); io.new_line;
29 print (false implies b1); io.new_line;
30 print (false implies b2); io.new_line;
31 print (false implies b3); io.new_line;
32
33 print (b1 implies true); io.new_line;
34 print (b1 implies false); io.new_line;
35 print (b1 implies b1); io.new_line;
36 print (b1 implies b2); io.new_line;
37 print (b1 implies b3); io.new_line;
38
39 print (b2 implies true); io.new_line;
40 print (b2 implies false); io.new_line;
41 print (b2 implies b1); io.new_line;
42 print (b2 implies b2); io.new_line;
43 print (b2 implies b3); io.new_line;
44
45 print (b3 implies true); io.new_line;
46 print (b3 implies false); io.new_line;
47 print (b3 implies b1); io.new_line;
48 print (b3 implies b2); io.new_line;
49 print (b3 implies b3); io.new_line;
50
51 end;
52
53 b2: BOOLEAN;
54
55 b3: BOOLEAN is
56 do
57 end;
58 end
59

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23