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

Contents of /trunk/eweasel/tests/vsrt104/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 84066 - (show annotations)
Thu Jul 29 18:14:59 2010 UTC (9 years, 5 months ago) by manus
File size: 710 byte(s)
Updated test to new VSRT errors which do not provide the root class as the location of the error but the Eiffel configuration file instead. Also updated some VSRT(1) error into VSRT(4) error as 1 is for type being loose and 4 is for mismatch in generic numbers or constraints.
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-vsrt1-add-generics
10 test_description Violate validity constraint VSRT(4) by adding and then removing generic parameters after initial compilation
11 define ROOT_CLASS TEST
12 copy_sub Ace $TEST Ace
13 copy_raw test.e $CLUSTER test.e
14 compile_melted
15 compile_result ok
16
17 copy_raw test_rev1.e $CLUSTER test.e
18 compile_melted
19 compile_result validity_error NONE VSRT(4)
20
21 copy_raw test.e $CLUSTER test.e
22 resume_compile
23 compile_result ok
24
25 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23