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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 79831 - (show annotations)
Sat Jul 18 00:13:56 2009 UTC (10 years, 6 months ago) by manus
File size: 399 byte(s)
Added a new test showing that at runtime we might create an invalid generic type for A [like Current] when
  the code creating the instance is located in an ancestor of an expanded class.

1 class
2 TEST1 [G]
3
4 feature
5
6 f
7 local
8 t: TEST1 [like Current]
9 ta: TEST1 [ANY]
10 int: INTERNAL
11 do
12 create int
13
14 create t
15 create ta
16
17 if c_dtype(int.dynamic_type (t)) = c_dtype(int.dynamic_type (ta)) then
18 io.put_string ("Failure%N")
19 end
20 end
21
22 c_dtype (dftype: INTEGER): INTEGER
23 external
24 "C inline use %"eif_eiffel.h%""
25 alias
26 "return To_dtype($dftype);"
27 end
28
29 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23