--| 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 	 bad-feature-decl
test_description All kinds of invalid feature declarations
copy_sub 	 Ace $TEST Ace

define		 FEATURE "f1"
copy_sub 	 test.e  $CLUSTER test.e
compile_melted
compile_result 	 syntax_error TEST 17

define		 FEATURE "f1;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f2 is 13"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f2 is 13;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f21 is unique"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f21 is unique;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f5 (x: INTEGER)"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 17

define		 FEATURE "f5 (x: INTEGER);"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f6 (x: INTEGER) is 13"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f6 (x: INTEGER) is 13;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f61 (x: INTEGER) is unique"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f61 (x: INTEGER) is unique;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f7 (x: INTEGER): INTEGER"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 17

define		 FEATURE "f7 (x: INTEGER): INTEGER;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f8 (x: INTEGER): INTEGER is 13"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f8 (x: INTEGER): INTEGER is 13;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f81 (x: INTEGER): INTEGER is unique"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

define		 FEATURE "f81 (x: INTEGER): INTEGER is unique;"
copy_sub 	 test.e  $CLUSTER test.e
resume_compile
compile_result 	 syntax_error TEST 15

test_end