/[eiffelstudio]/trunk/eweasel/tests/exec330/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/exec330/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84245 - (show annotations)
Fri Aug 20 20:40:00 2010 UTC (9 years, 3 months ago) by dhollen
File size: 532 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 test_name catcall-in-expanded-class-invariant
3 test_description A call to an agent in the invariant of an expanded class causes a seemingly spurious Catcall error to reported at runtime. The warning says "expected reference TEST1 but got TEST1".
4
5 copy_sub Ace $TEST Ace
6 copy_raw test.e $CLUSTER test.e
7 copy_raw test1.e $CLUSTER test1.e
8 copy_raw test2.e $CLUSTER test2.e
9
10 compile_frozen
11 compile_result ok
12
13 c_compile_work
14 c_compile_result ok
15
16 execute_work NONE exec_output1
17 execute_result ok
18 compare exec_output1 output
19
20 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23