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

Contents of /trunk/eweasel/tests/incr174/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 102654 - (show annotations)
Thu Dec 20 10:03:00 2018 UTC (13 months ago) by alexk
File size: 1361 byte(s)
Modified incremental changes to avoid violation of VDRS(4).
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 vxrc-sneak
10 test_description A sequence of changes tricks the compiler into accepting a class with a VXRC error. If the system is compiled from scratch the compiler detects the error.
11
12 define REDEFINITION ""
13 define FEATURE "make (args: ARRAY [STRING]) is external "C" end"
14 define FEATURE1 "make2 is do end"
15 copy_sub Ace $TEST Ace
16 copy_sub test.e $CLUSTER test.e
17 copy_sub test1.e $CLUSTER test1.e
18 compile_melted
19 compile_result ok
20
21 define FEATURE "make (args: ARRAY [STRING]) is once precursor end"
22 define FEATURE1 "make (args: ARRAY [ANY]) is deferred end"
23 copy_sub test.e $CLUSTER test.e
24 copy_sub test1.e $CLUSTER test1.e
25 compile_melted
26 compile_result validity_error TEST VDPR(3)
27
28 define REDEFINITION "redefine make end"
29 define FEATURE1 "make2 (args: ARRAY [ANY]) is external "C" rescue end"
30 copy_sub test.e $CLUSTER test.e
31 copy_sub test1.e $CLUSTER test1.e
32 resume_compile
33 compile_result validity_error TEST VDRS(1)
34
35 define REDEFINITION ""
36 define FEATURE "make (args: ARRAY [STRING]) is once end"
37 copy_sub test.e $CLUSTER test.e
38 resume_compile
39 compile_result validity_error TEST1 VXRC
40
41 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23