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

Contents of /trunk/eweasel/tests/vlel201/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: 2396 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
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 -- This is a test control file
8
9 test_name validity-vlel2-basic
10 test_description Violate validity constraint VLEL2 with feature names which are not final names of features obtained from parent
11
12 copy_sub Ace $TEST Ace
13 copy_raw test1.e $CLUSTER test1.e
14
15 define EXPORT "{ANY} prefix "+", prefix "-"; {NONE} prefix "@weasel""
16 copy_sub test.e $CLUSTER test.e
17 compile_melted
18 compile_result validity_error TEST VLEL(2)
19
20 define EXPORT "{ANY} prefix "+"; {NONE} infix "@weasel""
21 copy_sub test.e $CLUSTER test.e
22 resume_compile
23 compile_result validity_error TEST VLEL(2)
24
25 define EXPORT "{ANY} infix "+"; {NONE} prefix "@weasel""
26 copy_sub test.e $CLUSTER test.e
27 resume_compile
28 compile_result validity_error TEST VLEL(2)
29
30 define EXPORT "{ANY} prefix "-"; {NONE} prefix "@weasel""
31 copy_sub test.e $CLUSTER test.e
32 resume_compile
33 compile_result validity_error TEST VLEL(2)
34
35 define EXPORT "{ANY} prefix "+"; {NONE} prefix "@wimp""
36 copy_sub test.e $CLUSTER test.e
37 resume_compile
38 compile_result validity_error TEST VLEL(2)
39
40 define EXPORT "{ANY} f, f1"
41 copy_sub test.e $CLUSTER test.e
42 resume_compile
43 compile_result validity_error TEST VLEL(2)
44
45 define EXPORT "{ANY} f1, f"
46 copy_sub test.e $CLUSTER test.e
47 resume_compile
48 compile_result validity_error TEST VLEL(2)
49
50 define EXPORT "{ANY} f1"
51 copy_sub test.e $CLUSTER test.e
52 resume_compile
53 compile_result validity_error TEST VLEL(2)
54
55 define EXPORT "{ANY} g"
56 copy_sub test.e $CLUSTER test.e
57 resume_compile
58 compile_result validity_error TEST VLEL(2)
59
60 define EXPORT "{ANY} prefix "-""
61 copy_sub test.e $CLUSTER test.e
62 resume_compile
63 compile_result validity_error TEST VLEL(2)
64
65 define EXPORT "{ANY} prefix "@wimp""
66 copy_sub test.e $CLUSTER test.e
67 resume_compile
68 compile_result validity_error TEST VLEL(2)
69
70 define EXPORT "{ANY} infix "+""
71 copy_sub test.e $CLUSTER test.e
72 resume_compile
73 compile_result validity_error TEST VLEL(2)
74
75 define EXPORT "{ANY} infix "@weasel""
76 copy_sub test.e $CLUSTER test.e
77 resume_compile
78 compile_result validity_error TEST VLEL(2)
79
80 define EXPORT "{ANY} weasel"
81 copy_sub test.e $CLUSTER test.e
82 resume_compile
83 compile_result ok
84
85 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23