--| 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 creation make feature make is do end x: TEST1 end"
define CLASS1 "class TEST1 inherit TEST2 redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do io.put_string ("In TEST1 f%N") precursor end end"
define CLASS2 "deferred class TEST2 inherit TEST3 undefine f redefine make end feature make is do end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do io.put_string ("In TEST3 f%N") end 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
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	ok
	
define CLASS1 "class TEST1 inherit TEST2 redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do io.put_string ("In TEST1 f%N") precursor end end"
define CLASS2 "deferred class TEST2 inherit TEST3 undefine f redefine make end feature make is do end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	validity_error TEST1 VDRD(7)
	
define CLASS1 "class TEST1 inherit TEST2 redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C (double)" end end"
define CLASS2 "deferred class TEST2 inherit TEST3 undefine f redefine make end feature make is do end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VDRD(7)
	
define CLASS1 "class TEST1 inherit TEST2 redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C (double)" end end"
define CLASS2 "deferred class TEST2 inherit TEST3 redefine f, make end feature make is do end f is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST3 VXRC
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C (double)" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 redefine f, make end feature make is do end f is external "C" end h: G is once end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VFFD(7)
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C (double)" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 redefine f, make end feature make is do end f is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 EXT_SAME_SIGN
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 redefine f, make end feature make is do end f is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	ok
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 redefine f, make end feature make is do end f is external "C" end h: G is external "C" rescue end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	validity_error TEST2 VXRC
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 redefine f, make end feature make is do end f is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	ok
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 undefine f redefine f, make end feature make is do end f is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is external "C" end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	validity_error TEST2 VDRD(7)
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is external "C" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 undefine f redefine f, make end feature make is do end f is do precursor end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do precursor end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VDRD(7) VDRD(7)
	
define CLASS1 "class TEST1 inherit TEST2 [INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 undefine f redefine f, make end feature make is do end f is do precursor end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do precursor end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST3 VUPR(3)
	
define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine f, make end feature make is do end f is do precursor end t (f: H): G is once end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VRFA VFFD(7)

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine f, make end feature make is do end f is do precursor end t (f: H): G is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VRFA

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (f: H): G is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VDRS(1)

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (f: H): G is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VRFA VDRD(2)

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f end TEST3 redefine make, f end creation make feature make is do f end f is do precursor end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VMFN

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do precursor end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST3 VXRC

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do precursor end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VUPR(3)

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VTUG(2)

define CLASS1 "class TEST1 inherit TEST2 [REAL, INTEGER] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	ok

define CLASS1 "class TEST1 inherit TEST2 [REAL, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	validity_error TEST1 VTCG

define CLASS1 "class TEST1 inherit TEST2 [DOUBLE, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit DOUBLE undefine out, is_equal end TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	ok

define CLASS1 "class TEST1 inherit TEST2 [DOUBLE, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit DOUBLE undefine out, is_equal end TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end end"
define CLASS3 "class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end foo is external "C" rescue end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
compile_melted
compile_result 	validity_error TEST3 VXRC

define CLASS1 "class TEST1 inherit TEST2 [DOUBLE, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit DOUBLE undefine out, is_equal end TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end foo is external "C" end end"
define CLASS3 "deferred class TEST3 creation make feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end foo is deferred end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST3 VGCP(1)

define CLASS1 "class TEST1 inherit TEST2 [DOUBLE, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit DOUBLE undefine out, is_equal end TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end foo is external "C" end end"
define CLASS3 "deferred class TEST3 feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end foo is deferred end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST2 VDRD(7)

define CLASS1 "class TEST1 inherit TEST2 [DOUBLE, TEST2 [DOUBLE, REAL]] redefine make, f, t end TEST3 redefine make, f, t end creation make feature make is do f end f is do end t (a: SEQ_STRING): DOUBLE is external "C [macro <wimp.h>]" alias "wusslet" end end"
define CLASS2 "deferred class TEST2 [G -> DOUBLE, H -> G] inherit TEST3 undefine f redefine t, f, make end feature make is do end f is do precursor end t (b: STRING): DOUBLE is external "C" end foo is external "C" end end"
define CLASS3 "deferred class TEST3 feature make is do end f is do end h: DOUBLE is external "C" end t (a: STRING): DOUBLE is external "C" end end"
	
copy_sub	 test1.e $CLUSTER test1.e
copy_sub	 test2.e $CLUSTER test2.e
copy_sub	 test3.e $CLUSTER test3.e
resume_compile
compile_result 	validity_error TEST1 VTCG