--| 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 	 test
test_description Looking for bugs

define ROOT "TEST (root_cluster): "make""
define CLASS "class TEST inherit TEST1 rename weasel as wimp redefine wimp end TEST1 rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
define CLASS1 "class TEST1 inherit TEST2 feature weasel: STRING is do end stoat: STRING is once end end"
define CLASS2 "class TEST2 end"
	
copy_sub 	 Ace $TEST Ace
copy_sub	 test.e $CLUSTER test.e
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
compile_melted
compile_result 	ok
	
define CLASS "class TEST inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [STRING] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
define CLASS1 "class TEST2 [G -> DOUBLE] inherit TEST1 feature weasel: STRING is once end stoat: STRING is once end end"
define CLASS2 "class TEST1 end"
	
copy_sub	 test.e $CLUSTER test.e
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
compile_melted
compile_result 	validity_error TEST VTCG
	
define CLASS "class TEST inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [DOUBLE] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
	
copy_sub	 test.e $CLUSTER test.e
resume_compile
compile_result 	ok
	
define CLASS1 "class TEST2 [G -> DOUBLE] inherit TEST1 feature weasel: G is once end stoat: STRING is once end end"
	
copy_sub	 test1.e $CLUSTER test1.e
compile_melted
compile_result 	validity_error TEST2 VFFD(7)
	
	
define CLASS2 "class TEST1 inherit TEST2 end"
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	validity_error NONE VHPR(1)
	
define ROOT "TEST (root_cluster): "wimp""
define CLASS1 "class TEST2 [G -> DOUBLE] feature weasel: G is once end stoat: STRING is once end end"
copy_sub 	 Ace $TEST Ace
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7)

define CLASS1 "class TEST2 [G -> DOUBLE] feature weasel: STRING is once end stoat: STRING is once end end"
copy_sub 	 Ace $TEST Ace
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error NONE VD27

define CLASS "class TEST [G -> TEST [STRING]] inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [DOUBLE] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
	
copy_sub	 test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VSRC(1)

define ROOT "TEST (root_cluster): "make""
define CLASS "class TEST inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [DOUBLE] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
define CLASS1 "class TEST2 [G -> DOUBLE] feature weasel: G is once end stoat: STRING is once end end"

copy_sub 	 Ace $TEST Ace
copy_sub	 test.e $CLUSTER test.e
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7)

define CLASS1 "class TEST2 [TEST1 -> DOUBLE] inherit TEST1 feature weasel: STRING is once end stoat: STRING is once end end"
	
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VCFG(1)

define CLASS "class TEST [G -> TEST [STRING]] inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [DOUBLE] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
	
copy_sub	 test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST2 VCFG(1)

define CLASS1 "class TEST2 [G -> DOUBLE] inherit TEST1 feature weasel: G is once end stoat: STRING is once end end"
	
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST VSRC(1)

define CLASS "class TEST inherit TEST2 [DOUBLE] rename weasel as wimp redefine wimp end TEST2 [DOUBLE] rename stoat as wimp redefine wimp, weasel select wimp end creation make feature weasel: STRING is once end wimp: STRING is "300" make is do end end"
	
copy_sub	 test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error NONE VHPR(1)

define CLASS "class TEST inherit TEST1 creation make feature make is do end end"
define CLASS1 "class TEST1 inherit TEST2 end"
define CLASS2 "class TEST2 end"
copy_sub	 test.e $CLUSTER test.e
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	ok
	
test_end