--| 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 	 vape-involving-current
test_description A routine with an insufficiently exported entity in a precondition violates VAPE.  The compiler accepts it, but only if the entity Current is explicitly involved (e.g. as `Current.feature_name' or `Current + value'.

copy_sub 	 Ace $TEST Ace
define		 ASSERTION "Current.raised_to (n)"
copy_raw 	 test.e $CLUSTER test.e
copy_sub 	 test1.e $CLUSTER test1.e
compile_melted
compile_result 	 validity_error TEST1 VAPE

define		 ASSERTION "Current ^ n"
copy_sub 	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	 validity_error TEST1 VAPE

define		 ASSERTION "raised_to (n)"
copy_sub 	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	 validity_error TEST1 VAPE

define		 ASSERTION "+ Current"
copy_sub 	 test1.e $CLUSTER test1.e
resume_compile
compile_result 	 validity_error TEST1 VAPE

test_end