--| 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 multi-constraint-creation
test_description Testing the renaming for multi-constraint formal generics together with object creation. The three classes A,B and C are the constraints for a formal generic. Renaming is used to resolve the feature name conflicts for the creation routines. All other conflicts of the features which are not used are not resolved. After instanntiate the formal generic with all creation features occuring in the constraint.

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	multi.e $CLUSTER multi.e
copy_raw 	a.e $CLUSTER a.e
copy_raw 	b.e $CLUSTER b.e
copy_raw 	c.e $CLUSTER c.e
copy_raw 	abc.e $CLUSTER abc.e



compile_melted
compile_result	ok
--validity_warning MULTI VJRV(2)
execute_work NONE exec_output1
execute_result ok
compare exec_output1 output1

compile_frozen
compile_result 	ok
c_compile_work
c_compile_result ok
execute_work NONE exec_output1
execute_result ok
compare exec_output1 output1

compile_final
compile_result 	ok
c_compile_final
c_compile_result ok
execute_final NONE exec_output1
execute_result ok
compare exec_output1 output1


test_end