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

Contents of /trunk/eweasel/tests/catcall002/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92674 - (show annotations)
Thu Jun 6 06:04:25 2013 UTC (6 years, 3 months ago) by manus
File size: 589 byte(s)
Updated ECFs to new version and added cat call detection setting when needed and provisional syntax to recognize the frozen/variant syntax.
Updated Eiffel syntax to drop `is'.
Updated some tests after careful review to ensure that we do not miss reporting a catcall when one really exists.

1 test_name simple-catcall-generic
2 test_description Simple detection of a catcall involving call of feature with generic formal arguments which is only allowed on non-variant actual generic parameter.
3
4 copy_sub Ace $TEST Ace
5 define ANCESTOR_TYPE "TEST1 [STRING]"
6 copy_sub test.e $CLUSTER test.e
7 copy_raw test1.e $CLUSTER test1.e
8
9 compile_melted
10 compile_result ok
11
12 define ANCESTOR_TYPE "TEST1 [frozen STRING]"
13
14 compile_melted
15 compile_result ok
16
17 define ANCESTOR_TYPE "TEST1 [variant STRING]"
18 copy_sub test.e $CLUSTER test.e
19
20 compile_melted
21 compile_result validity_error TEST Catcall
22
23 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23