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

Contents of /trunk/eweasel/tests/vdjr201/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years ago) by manus
File size: 4683 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1 test_name validity-vdjr2-basic
2 test_description Validity rule for alias of joined features.
3
4 copy_sub Ace $TEST Ace
5 copy_raw test.e $CLUSTER test.e
6
7 -- No alias - unary alias
8 define A ""
9 define A_ADAPT ""
10 define A_BODY "deferred"
11 define B "alias "+""
12 define B_ADAPT ""
13 define B_BODY "deferred"
14 define ARGS ""
15 copy_sub a.e $CLUSTER a.e
16 copy_sub b.e $CLUSTER b.e
17 copy_sub c.e $CLUSTER c.e
18 compile_melted
19 compile_result validity_error C ECMA-VDJR(2)
20
21 define A_BODY "do"
22 copy_sub a.e $CLUSTER a.e
23 resume_compile
24 compile_result validity_error C ECMA-VDRD(7)
25
26 -- No alias - binary alias
27 define A ""
28 define A_ADAPT ""
29 define A_BODY "deferred"
30 define B "alias "+""
31 define B_ADAPT ""
32 define B_BODY "deferred"
33 define ARGS "(x: BOOLEAN)"
34 copy_sub a.e $CLUSTER a.e
35 copy_sub b.e $CLUSTER b.e
36 copy_sub c.e $CLUSTER c.e
37 resume_compile
38 compile_result validity_error C ECMA-VDJR(2)
39
40 define A_BODY "do"
41 copy_sub a.e $CLUSTER a.e
42 resume_compile
43 compile_result validity_error C ECMA-VDRD(7)
44
45 -- No alias - binary alias with convert
46 define A ""
47 define A_ADAPT ""
48 define A_BODY "deferred"
49 define B "alias "+" convert"
50 define B_ADAPT ""
51 define B_BODY "deferred"
52 define ARGS "(x: BOOLEAN)"
53 copy_sub a.e $CLUSTER a.e
54 copy_sub b.e $CLUSTER b.e
55 copy_sub c.e $CLUSTER c.e
56 resume_compile
57 compile_result validity_error C ECMA-VDJR(2)
58
59 define A_BODY "do"
60 copy_sub a.e $CLUSTER a.e
61 resume_compile
62 compile_result validity_error C ECMA-VDRD(7)
63
64 -- No alias - bracket alias
65 define A ""
66 define A_ADAPT ""
67 define A_BODY "deferred"
68 define B "alias "[]""
69 define B_ADAPT ""
70 define B_BODY "deferred"
71 define ARGS "(x, y: BOOLEAN)"
72 copy_sub a.e $CLUSTER a.e
73 copy_sub b.e $CLUSTER b.e
74 copy_sub c.e $CLUSTER c.e
75 resume_compile
76 compile_result validity_error C ECMA-VDJR(2)
77
78 define A_BODY "do"
79 copy_sub a.e $CLUSTER a.e
80 resume_compile
81 compile_result validity_error C ECMA-VDRD(7)
82
83 -- Unary alias - unary alias
84 define A "alias "-""
85 define A_ADAPT ""
86 define A_BODY "deferred"
87 define B "alias "+""
88 define B_ADAPT ""
89 define B_BODY "deferred"
90 define ARGS ""
91 copy_sub a.e $CLUSTER a.e
92 copy_sub b.e $CLUSTER b.e
93 copy_sub c.e $CLUSTER c.e
94 resume_compile
95 compile_result validity_error C ECMA-VDJR(2)
96
97 define A_BODY "do"
98 copy_sub a.e $CLUSTER a.e
99 resume_compile
100 compile_result validity_error C ECMA-VDRD(7)
101
102 -- Binary alias - binary alias
103 define A "alias "-""
104 define A_ADAPT ""
105 define A_BODY "deferred"
106 define B "alias "+""
107 define B_ADAPT ""
108 define B_BODY "deferred"
109 define ARGS "(x: BOOLEAN)"
110 copy_sub a.e $CLUSTER a.e
111 copy_sub b.e $CLUSTER b.e
112 copy_sub c.e $CLUSTER c.e
113 resume_compile
114 compile_result validity_error C ECMA-VDJR(2)
115
116 define A_BODY "do"
117 copy_sub a.e $CLUSTER a.e
118 resume_compile
119 compile_result validity_error C ECMA-VDRD(7)
120
121 -- Binary alias - binary alias with convert
122 define A "alias "+""
123 define A_ADAPT ""
124 define A_BODY "deferred"
125 define B "alias "+" convert"
126 define B_ADAPT ""
127 define B_BODY "deferred"
128 define ARGS "(x: BOOLEAN)"
129 copy_sub a.e $CLUSTER a.e
130 copy_sub b.e $CLUSTER b.e
131 copy_sub c.e $CLUSTER c.e
132 resume_compile
133 compile_result validity_error C ECMA-VDJR(2)
134
135 define A_BODY "do"
136 copy_sub a.e $CLUSTER a.e
137 resume_compile
138 compile_result validity_error C ECMA-VDRD(7)
139
140 -- Binary alias - bracket alias
141 define A "alias "-""
142 define A_ADAPT ""
143 define A_BODY "deferred"
144 define B "alias "[]""
145 define B_ADAPT ""
146 define B_BODY "deferred"
147 define ARGS "(x: BOOLEAN)"
148 copy_sub a.e $CLUSTER a.e
149 copy_sub b.e $CLUSTER b.e
150 copy_sub c.e $CLUSTER c.e
151 resume_compile
152 compile_result validity_error C ECMA-VDJR(2)
153
154 define A_BODY "do"
155 copy_sub a.e $CLUSTER a.e
156 resume_compile
157 compile_result validity_error C ECMA-VDRD(7)
158
159 -- Binary alias with convert - binary alias with convert
160 define A "alias "-" convert"
161 define A_ADAPT ""
162 define A_BODY "deferred"
163 define B "alias "+" convert"
164 define B_ADAPT ""
165 define B_BODY "deferred"
166 define ARGS "(x: BOOLEAN)"
167 copy_sub a.e $CLUSTER a.e
168 copy_sub b.e $CLUSTER b.e
169 copy_sub c.e $CLUSTER c.e
170 resume_compile
171 compile_result validity_error C ECMA-VDJR(2)
172
173 define A_BODY "do"
174 copy_sub a.e $CLUSTER a.e
175 resume_compile
176 compile_result validity_error C ECMA-VDRD(7)
177
178 -- Binary alias with convert - bracket alias
179 define A "alias "-" convert"
180 define A_ADAPT ""
181 define A_BODY "deferred"
182 define B "alias "[]""
183 define B_ADAPT ""
184 define B_BODY "deferred"
185 define ARGS "(x: BOOLEAN)"
186 copy_sub a.e $CLUSTER a.e
187 copy_sub b.e $CLUSTER b.e
188 copy_sub c.e $CLUSTER c.e
189 resume_compile
190 compile_result validity_error C ECMA-VDJR(2)
191
192 define A_BODY "do"
193 copy_sub a.e $CLUSTER a.e
194 resume_compile
195 compile_result validity_error C ECMA-VDRD(7)
196
197 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23