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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84245 - (show annotations)
Fri Aug 20 20:40:00 2010 UTC (9 years, 1 month ago) by dhollen
File size: 209 byte(s)
Added eweasel test exec330 for bug #(not yet available), where invoking an agent in
the class invariant of an expanded class results in a apparently spurious catcall warning.
See also bug #15453 (test exec307) for another spurious catcall warning.

1
2 expanded class TEST1
3 inherit
4 ANY
5 redefine
6 default_create
7 end
8 feature
9 default_create
10 do
11 create value
12 end
13
14 try
15 do
16 end
17
18 value: TEST2
19
20 invariant
21 good: (agent value).item ([]).a = 0.0
22 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23