Contents of /trunk/eweasel/tests/fixed028/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        assign-rule-client-change
test_description After a violation of the assignment rule in an inherited class is correctly detected, the client structure is modified by removing two local declarations from the inheriting class

copy_sub         Ace $TEST Ace

define           LOCALS "x: PARENT; y: TEST2;"
define           ASSIGNMENT "g := "abc";"
copy_sub         test.e  $CLUSTER test.e
copy_sub         test1.e  $CLUSTER test1.e
copy_raw         test2.e  $CLUSTER test2.e
copy_raw         parent.e  $CLUSTER parent.e
compile_melted
compile_result   validity_error TEST Unused_local_warning; TEST1 VJAR

define           LOCALS ""
copy_sub         test.e  $CLUSTER test.e
resume_compile
compile_result   validity_error TEST1 VJAR

define           ASSIGNMENT ""
copy_sub         test1.e  $CLUSTER test1.e
resume_compile
compile_result   validity_warning TEST1 Unused_local_warning

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 assign-rule-client-change
10	test_description After a violation of the assignment rule in an inherited class is correctly detected, the client structure is modified by removing two local declarations from the inheriting class
11
12	copy_sub Ace $TEST Ace
13
14	define LOCALS "x: PARENT; y: TEST2;"
15	define ASSIGNMENT "g := "abc";"
16	copy_sub test.e $CLUSTER test.e
17	copy_sub test1.e $CLUSTER test1.e
18	copy_raw test2.e $CLUSTER test2.e
19	copy_raw parent.e $CLUSTER parent.e
20	compile_melted
21	compile_result validity_error TEST Unused_local_warning; TEST1 VJAR
22
23	define LOCALS ""
24	copy_sub test.e $CLUSTER test.e
25	resume_compile
26	compile_result validity_error TEST1 VJAR
27
28	define ASSIGNMENT ""
29	copy_sub test1.e $CLUSTER test1.e
30	resume_compile
31	compile_result validity_warning TEST1 Unused_local_warning
32
33	test_end