--| 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-same
test_description Violate validity constraint VREG with a feature which has an identifier appearing more than once in the same Entity_declaration_group

copy_sub 	 Ace $TEST Ace

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

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

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

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

define		 ARGUMENTS "(weasel, a, b, c, d, e, f, g, h, i, j, weasel: INTEGER)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

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

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

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

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

define		 LOCALS "weasel, a, b, c, d, e, f, g, h, i, j, weasel: INTEGER"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_error TEST VREG

define		 LOCALS "a, b, c, d, e, f, g, h, i, j, weasel: INTEGER"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 validity_warning TEST "Unused Local"

test_end