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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 73057 - (show annotations)
Thu Apr 17 00:14:43 2008 UTC (11 years, 9 months ago) by manus
File size: 1879 byte(s)
Added more polymorphic call involving conversion of basic types into references or vice versa.

1 class TEST
2 create
3 make
4
5 feature {NONE} -- Creation
6
7 make
8 local
9 t9: TEST9
10 t8: TEST8
11 t7: TEST7
12 t6: TEST6
13 t5: TEST5
14 t4: TEST4
15 t3_bis: TEST3_BIS
16 t2_bis: TEST2_BIS
17 t3: TEST3 [INTEGER]
18 t3_any: TEST3 [ANY]
19 t2: TEST2 [REAL_64]
20 t2_any: TEST2 [ANY]
21 t1: TEST1
22 do
23 create t9
24 create t8
25 create t7
26 create t5
27 create t4
28 create t3_bis
29 create t2_bis
30
31 -- Checking polymorphism on `t9'
32 print (t9.query (6))
33 io.put_new_line
34
35 t6 := t9
36 print (t6.query (6))
37 io.put_new_line
38
39 -- Checking polymorphism on `t8'
40 print (t8.query (6))
41 io.put_new_line
42
43 t1 := t8
44 print (t1.query (6))
45 io.put_new_line
46
47 t6 := t8
48 print (t6.query (6))
49 io.put_new_line
50
51 -- Checking polymorphism on `t7'
52 print (t7.query (6))
53 io.put_new_line
54
55 t1 := t7
56 print (t1.query (6))
57 io.put_new_line
58
59 t6 := t7
60 print (t6.query (6))
61 io.put_new_line
62
63 -- Checking polymorphism on `t5'
64 print (t5.query (6))
65 io.put_new_line
66
67 t1 := t5
68 print (t1.query (6))
69 io.put_new_line
70
71 t3 := t5
72 print (t3.query (6))
73 io.put_new_line
74
75 t3_any := t5
76 print (t3_any.query (6))
77 io.put_new_line
78
79 -- Checking polymorphism on `t4'
80 print (t4.query (6))
81 io.put_new_line
82
83 t1 := t4
84 print (t1.query (6))
85 io.put_new_line
86
87 t2 := t4
88 print (t2.query (6))
89 io.put_new_line
90
91 t2_any := t4
92 print (t2_any.query (6))
93 io.put_new_line
94
95 -- Checking polymorphism on `t3_bis'
96 print (t3_bis.query (6))
97 io.put_new_line
98
99 t3 := t3_bis
100 print (t3.query (6))
101 io.put_new_line
102
103 t3_any := t3_bis
104 print (t3_any.query (6))
105 io.put_new_line
106
107
108 -- Checking polymorphism on `t2_bis'
109 print (t2_bis.query (6))
110 io.put_new_line
111
112 t2 := t2_bis
113 print (t2.query (6))
114 io.put_new_line
115
116 t2_any := t2_bis
117 print (t2_any.query (6))
118 io.put_new_line
119 end
120
121 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23