--| 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 	 validity-vreg-diff
test_description Violate validity constraint VREG with a feature which has an identifier appearing more than once in different Entity_declaration_group's

copy_sub 	 Ace $TEST Ace

define		 LOCALS ""
define		 ARGUMENTS "(weasel: INTEGER; weasel: INTEGER)"
copy_sub 	 test.e  $CLUSTER test.e
compile_melted
compile_result 	 validity_error TEST VREG

define		 ARGUMENTS "(weasel: INTEGER; weasel: STRING)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 ARGUMENTS "(f, weasel: INTEGER; weasel, g: STRING)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 ARGUMENTS "(weasel: INTEGER; f, g, h: REAL; k, weasel: STRING)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 ARGUMENTS "(a: INTEGER; weasel: REAL; b: STRING; c: DOUBLE; e: POINTER; weasel: REAL)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 ARGUMENTS ""
define		 LOCALS "weasel: INTEGER; weasel: INTEGER"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "weasel: INTEGER; weasel: STRING"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "f, weasel: INTEGER; weasel, g: STRING"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "weasel: INTEGER; f, g, h: REAL; k, weasel: STRING"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "a: INTEGER; weasel: REAL; b: STRING; c: DOUBLE; e: POINTER; weasel: REAL"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "a: INTEGER; weasel: REAL; b: STRING; c: DOUBLE; e: POINTER"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_warning TEST "Unused Local"

test_end