--| 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 	 invariant-expanded-generic
test_description A sequence of changes involving removal of a class invariant and expanded and generic changes

copy_sub 	 Ace $TEST Ace
define		 BODY "b := True; io.putbool (true implies false); io.new_line;"
define		 REST "b: BOOLEAN; invariant b implies false"
copy_sub 	 test.e  $CLUSTER test.e
define		 CLASS "class TEST1 feature end"
copy_sub 	 test1.e  $CLUSTER test1.e
compile_melted
compile_result 	 ok

define		 BODY ""
define		 REST "x: TEST1 [expanded TEST1 [separate TEST]];"
copy_sub 	 test.e  $CLUSTER test.e
define		 CLASS "class TEST1 [G] feature x: G to_reference: TEST1 [G] is do create Result end end"
copy_sub 	 test1.e  $CLUSTER test1.e
compile_melted
compile_result 	 ok

define		 REST "x: TEST1;"
copy_sub 	 test.e  $CLUSTER test.e
define		 CLASS "expanded class TEST1 feature end"
copy_sub 	 test1.e  $CLUSTER test1.e
compile_melted
compile_result 	 ok

test_end