--| 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"; 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"

test_end