--| 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 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 	ok

define CLASS "class TEST inherit TEST2 [STRING] 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
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"
define CLASS1 "class TEST2 [G -> DOUBLE] feature weasel: G is once end stoat: STRING is once end end"

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 [G -> 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 NONE VHPR(1)

define CLASS "class TEST inherit TEST2 [G] 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 VTCT

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] inherit TEST1 feature weasel: G is once end stoat: STRING is once end end"
	
copy_sub	 test.e $CLUSTER test.e
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error NONE VHPR(1)

define CLASS1 "class TEST2 [G -> DOUBLE] 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 TEST2 VFFD(7)

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
	
define CLASS "class TEST inherit TEST1 [DOUBLE] rename weasel as wimp redefine wimp end TEST1 [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"
define CLASS2 "class TEST1 inherit TEST2 [DOUBLE] feature hamster: like weasel is once end 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 TEST2 VFFD(7)

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE] feature weasel: G is once end stoat: H is once end end"
define CLASS2 "class TEST1 inherit TEST2 [DOUBLE, HASH_TABLE [STRING, STRING]] feature hamster: like weasel is once end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	validity_error TEST2 VTUG(2)

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, H]] feature weasel: G is once end stoat: H is once end end"
define CLASS2 "class TEST1 inherit TEST2 [DOUBLE, HASH_TABLE [DOUBLE, DOUBLE]] feature hamster: like weasel is once end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	validity_error TEST2 VTCG

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G]] feature weasel: G is once end stoat: H is once end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7) VFFD(7)

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create foo end] feature weasel: G is once end stoat: H is once end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7) VFFD(7)

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 TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create foo end] feature weasel: G is do end stoat: H is do end end"
define CLASS2 "class TEST1 inherit TEST2 [DOUBLE, HASH_TABLE [DOUBLE, DOUBLE]] feature hamster: like weasel is do end 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 	validity_error TEST VDRD(2) VDRD(2) VDRD(2)

define CLASS "class TEST inherit TEST1 creation make feature turkey: STRING is once end shark: STRING is "300" make is do end end"
copy_sub	 test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST2 VTCG

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is once create Result.make (5) end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7)

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is external "C (double) | <wimp.h>" rescue end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 EXT_SAME_SIGN

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is external "C" rescue end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VXRC

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is do create Result.make (5) end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	ok

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is external "C" rescue end end"
copy_sub	 test1.e $CLUSTER test1.e
compile_melted
compile_result 	validity_error TEST2 VXRC

define CLASS1 "class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is external "C (double)" rescue end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 EXT_SAME_SIGN

define CLASS1 "deferred class TEST2 [G -> DOUBLE, H -> HASH_TABLE [G, G] create make end] feature weasel: G is do end stoat: H is deferred rescue end end"
define CLASS2 "class TEST1 inherit TEST2 [DOUBLE, HASH_TABLE [DOUBLE, DOUBLE]] feature hamster: like weasel is do end stoat: HASH_TABLE [DOUBLE, DOUBLE] is once end end"
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	validity_error TEST2 VXRC

define CLASS1 "deferred class TEST2 [H -> HASH_TABLE [G, G] create make end] feature weasel: G is once end stoat: H is once rescue end end"
define CLASS2 "class TEST1 inherit TEST2 [HASH_TABLE [DOUBLE, DOUBLE]] feature hamster: like weasel is do end stoat: HASH_TABLE [DOUBLE, DOUBLE] is once end end"
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
resume_compile
compile_result 	validity_error TEST2 VTCT

define CLASS1 "deferred class TEST2 [H -> HASH_TABLE [DOUBLE, DOUBLE] create make end] feature weasel: H is once end stoat: H is once rescue end end"
copy_sub	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7) VFFD(7)

test_end