/[eiffelstudio]/trunk/eweasel/tests/incr368/test1.e
ViewVC logotype

Contents of /trunk/eweasel/tests/incr368/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83823 - (show annotations)
Wed Jul 7 00:17:34 2010 UTC (9 years, 2 months ago) by dhollen
File size: 1686 byte(s)
Added eweasel test incr368 for bug #16951, where changing the actual generic
in the inheritance clause of a class referenced in a qualified anchored type
and recompiling causes incorrect system execution output.

1
2 class TEST1 [G -> NUMERIC]
3 feature
4 try
5 do
6 if attached {like {TEST2 [G]}.value} value as x then
7 print (x.generating_type); io.new_line
8 print (x); io.new_line
9 end
10 if attached {like {TEST2 [INTEGER_8]}.value} value as x then
11 print (x.generating_type); io.new_line
12 print (x); io.new_line
13 end
14 if attached {like {TEST2 [INTEGER_16]}.value} value as x then
15 print (x.generating_type); io.new_line
16 print (x); io.new_line
17 end
18 if attached {like {TEST2 [INTEGER_32]}.value} value as x then
19 print (x.generating_type); io.new_line
20 print (x); io.new_line
21 end
22 if attached {like {TEST2 [INTEGER_64]}.value} value as x then
23 print (x.generating_type); io.new_line
24 print (x); io.new_line
25 end
26 if attached {like {TEST2 [NATURAL_8]}.value} value as x then
27 print (x.generating_type); io.new_line
28 print (x); io.new_line
29 end
30 if attached {like {TEST2 [NATURAL_16]}.value} value as x then
31 print (x.generating_type); io.new_line
32 print (x); io.new_line
33 end
34 if attached {like {TEST2 [NATURAL_32]}.value} value as x then
35 print (x.generating_type); io.new_line
36 print (x); io.new_line
37 end
38 if attached {like {TEST2 [NATURAL_64]}.value} value as x then
39 print (x.generating_type); io.new_line
40 print (x); io.new_line
41 end
42 if attached {like {TEST2 [REAL]}.value} value as x then
43 print (x.generating_type); io.new_line
44 print (x); io.new_line
45 end
46 if attached {like {TEST2 [DOUBLE]}.value} value as x then
47 print (x.generating_type); io.new_line
48 print (x); io.new_line
49 end
50 end
51
52 value: detachable G
53
54 set_value (a_value: like value)
55 do
56 value := a_value
57 end
58
59 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23