--| 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 multi-constraint-vtgc
test_description Violating validity rule VTGC (generic cosntraint rule)

define VIOLATE1 ""
define VIOLATE2 "rename default_create as numerics_default_create end"
define VIOLATE3 ""

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e

------------
-- VTGC(1)
define VIOLATE1 "like Current,"
copy_sub 	multi.e $CLUSTER multi.e
define VIOLATE1 ""
compile_melted
compile_result validity_error MULTI VTGC(1)

------------
-- VTGC(2) and VTGC(3)

define VIOLATE2 "rename nonexistent as something end"
copy_sub 	multi.e $CLUSTER multi.e
define VIOLATE2 " rename default_create as numerics_default_create end"
resume_compile
compile_result validity_error MULTI VTGC(2)

------------
-- VTGC(3)
define VIOLATE3 "non_existing_creation_feature,"
copy_sub 	multi.e $CLUSTER multi.e
define VIOLATE3 ""
resume_compile
compile_result validity_error MULTI VTGC(3)

------------
-- ok
copy_sub 	multi.e $CLUSTER multi.e
resume_compile
compile_result ok
execute_work NONE exec_output1
execute_result ok
compare exec_output1 output1	

test_end