--| 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-vhpr1-long-cycle
test_description Violate validity constraint VHPR1 with a class with an inheritance cycle involving multiple classes

copy_sub 	 Ace $TEST Ace

define		 TEST_INHERITANCE "inherit TEST1"
copy_sub 	 test.e  $CLUSTER test.e
define		 CLASS "class TEST1 inherit TEST2 end"
copy_sub 	 class.e  $CLUSTER test1.e
define		 CLASS "class TEST2 inherit TEST3 end"
copy_sub 	 class.e  $CLUSTER test2.e
define		 CLASS "class TEST3 inherit TEST4 end"
copy_sub 	 class.e  $CLUSTER test3.e
define		 CLASS "class TEST4 inherit TEST5 end"
copy_sub 	 class.e  $CLUSTER test4.e
define		 CLASS "class TEST5 inherit TEST6 end"
copy_sub 	 class.e  $CLUSTER test5.e
define		 CLASS "class TEST6 inherit TEST7 end"
copy_sub 	 class.e  $CLUSTER test6.e
define		 CLASS "class TEST7 inherit TEST8 end"
copy_sub 	 class.e  $CLUSTER test7.e
define		 CLASS "class TEST8 inherit TEST9 end"
copy_sub 	 class.e  $CLUSTER test8.e
define		 CLASS "class TEST9 inherit TEST10 end"
copy_sub 	 class.e  $CLUSTER test9.e
define		 CLASS "class TEST10 inherit TEST1 end"
copy_sub 	 class.e  $CLUSTER test10.e

compile_melted
compile_result 	 validity_error NONE VHPR(1)

define		 CLASS "class TEST10 inherit TEST11 end"
copy_sub 	 class.e  $CLUSTER test10.e
define		 CLASS "class TEST11 end"
copy_sub 	 class.e  $CLUSTER test11.e
resume_compile
compile_result 	 ok

define		 CLASS "class TEST10 inherit TEST1 end"
copy_sub 	 class.e  $CLUSTER test10.e
compile_melted
compile_result 	 validity_error NONE VHPR(1)

define		 CLASS "class TEST10 end"
copy_sub 	 class.e  $CLUSTER test10.e
resume_compile
compile_result 	 ok

test_end