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

Contents of /trunk/eweasel/tests/incr145/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84065 - (show annotations)
Thu Jul 29 18:02:17 2010 UTC (9 years, 1 month ago) by manus
File size: 1357 byte(s)
Modified the test since now VSRT(3) is reported at the end of degree 4 and not before. Thus we had to modify the TEST class not to include a creation procedure when it is deferred as otherwise we would be getting a VGCP(1) error.

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 add-remove-vsrt
10 test_description A sequence of changes where a VSRT(3) error is added and then removed causes the compiler to die.
11
12 copy_sub Ace $TEST Ace
13 define DEFERRED ""
14 define CREATION "creation make"
15 define ATTRIBUTE "a: TEST1 [like Current]"
16 define GENERICS "[G]"
17 copy_sub test.e $CLUSTER test.e
18 copy_sub test1.e $CLUSTER test1.e
19 compile_melted
20 compile_result ok
21
22 define GENERICS ""
23 copy_sub test1.e $CLUSTER test1.e
24 compile_melted
25 compile_result validity_error TEST VTUG(1)
26
27 define ATTRIBUTE ""
28 copy_sub test.e $CLUSTER test.e
29 resume_compile
30 compile_result validity_error TEST VEEN
31
32 define DEFERRED "deferred"
33 define CREATION ""
34 copy_sub test.e $CLUSTER test.e
35 resume_compile
36 compile_result validity_error NONE VSRT(3)
37
38 define DEFERRED ""
39 define CREATION "creation make"
40 copy_sub test.e $CLUSTER test.e
41 resume_compile
42 compile_result validity_error TEST VEEN
43
44 define ATTRIBUTE "a: TEST1 [like Current]"
45 define GENERICS "[G]"
46 copy_sub test.e $CLUSTER test.e
47 copy_sub test1.e $CLUSTER test1.e
48 resume_compile
49 compile_result ok
50
51 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23