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

Contents of /trunk/eweasel/tests/valid255/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 101615 - (show annotations)
Fri Mar 30 10:40:21 2018 UTC (17 months, 3 weeks ago) by alexk
File size: 1804 byte(s)
Extended test cases to cover generic derivations inherited from different parents as well as with several generic parameters.
1 test_name missing-vhpr-with-different-generic-derivation
2 test_description A class that inherits twice from the same generic class directly with two different generic derivations will be flagged with an ECMA-VHPR(5) error, but the same scenario with an indirection won't be properly detected.
3
4 copy_sub Ace $TEST Ace
5 copy_raw g1.e $CLUSTER g1.e
6 copy_raw g4.e $CLUSTER g4.e
7
8 define PARENT1 "G1 [STRING]"
9 define PARENT2 "G1 [INTEGER]"
10 define PARENTA "G1 [CHARACTER]"
11 define PARENTB "G1 [STRING]"
12 copy_sub test.e $CLUSTER test.e
13 copy_sub a.e $CLUSTER a.e
14 copy_sub b.e $CLUSTER b.e
15 compile_melted
16 compile_result validity_error TEST ECMA-VHPR(5):4
17
18 define PARENT2 "A"
19 copy_sub test.e $CLUSTER test.e
20 resume_compile
21 compile_result validity_error TEST ECMA-VHPR(5)
22
23 define PARENT1 "B"
24 copy_sub test.e $CLUSTER test.e
25 resume_compile
26 compile_result validity_error TEST ECMA-VHPR(5)
27
28 define PARENT2 "G1 [STRING]"
29 copy_sub test.e $CLUSTER test.e
30 resume_compile
31 compile_result ok
32
33 define PARENT2 "A"
34 copy_sub test.e $CLUSTER test.e
35 compile_melted
36 compile_result validity_error TEST ECMA-VHPR(5)
37
38 define PARENTB "G4 [ANY, ANY, ANY, ANY]"
39 copy_sub b.e $CLUSTER b.e
40
41 define PARENTA "G4 [STRING, ANY, ANY, ANY]"
42 copy_sub a.e $CLUSTER a.e
43 resume_compile
44 compile_result validity_error TEST ECMA-VHPR(5)
45
46 define PARENTA "G4 [ANY, STRING, ANY, ANY]"
47 copy_sub a.e $CLUSTER a.e
48 resume_compile
49 compile_result validity_error TEST ECMA-VHPR(5)
50
51 define PARENTA "G4 [ANY, ANY, STRING, ANY]"
52 copy_sub a.e $CLUSTER a.e
53 resume_compile
54 compile_result validity_error TEST ECMA-VHPR(5)
55
56 define PARENTA "G4 [ANY, ANY, ANY, STRING]"
57 copy_sub a.e $CLUSTER a.e
58 resume_compile
59 compile_result validity_error TEST ECMA-VHPR(5)
60
61 define PARENTB "G4 [ANY, ANY, ANY, STRING]"
62 copy_sub b.e $CLUSTER b.e
63 resume_compile
64 compile_result ok
65
66 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23