Contents of /trunk/eweasel/tests/vcch102/tcf


--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name        validity-vcch1-add-def-feat
test_description After initial compilation, violate validity constraint VCCH1 by making an effective feature deferred
copy_sub         Ace $TEST Ace

define           ROUTINE_MARK do
copy_raw         test.e  $CLUSTER test.e
copy_sub         test1.e  $CLUSTER test1.e
compile_melted
compile_result   ok

define           ROUTINE_MARK deferred
copy_sub         test1.e  $CLUSTER test1.e
compile_melted
compile_result   validity_error TEST1 VCCH(1)

test_end
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-vcch1-add-def-feat
10	test_description After initial compilation, violate validity constraint VCCH1 by making an effective feature deferred
11	copy_sub Ace $TEST Ace
12
13	define ROUTINE_MARK do
14	copy_raw test.e $CLUSTER test.e
15	copy_sub test1.e $CLUSTER test1.e
16	compile_melted
17	compile_result ok
18
19	define ROUTINE_MARK deferred
20	copy_sub test1.e $CLUSTER test1.e
21	compile_melted
22	compile_result validity_error TEST1 VCCH(1)
23
24	test_end