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

Annotation of /trunk/eweasel/tests/vdjr201/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (hide annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 1 month ago) by manus
Original Path: trunk/Src/eweasel/tests/vdjr201/tcf
File size: 4683 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1 manus 65296 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