--| 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 	 delete-finite-add-back
test_description After initial compilation, the file with class FINITE (in a local directory) is deleted, then FINITE is added back to the cluster and compilation is resumed

copy_sub 	 Ace $TEST Ace
copy_raw	active.e $CLUSTER active.e 
copy_raw	arrayed_list.e $CLUSTER arrayed_list.e 
copy_raw	arrayed_list_cursor.e $CLUSTER arrayed_list_cursor.e 
copy_raw	bag.e $CLUSTER bag.e 
copy_raw	bilinear.e $CLUSTER bilinear.e 
copy_raw	bounded.e $CLUSTER bounded.e 
copy_raw	box.e $CLUSTER box.e 
copy_raw	cell.e $CLUSTER cell.e 
copy_raw	chain.e $CLUSTER chain.e 
copy_raw	collection.e $CLUSTER collection.e 
copy_raw	container.e $CLUSTER container.e 
copy_raw	countable.e $CLUSTER countable.e 
copy_raw	countable_sequence.e $CLUSTER countable_sequence.e 
copy_raw	cursor.e $CLUSTER cursor.e 
copy_raw	cursor_structure.e $CLUSTER cursor_structure.e 
copy_raw	c_string.e $CLUSTER c_string.e 
copy_raw	debug_output.e $CLUSTER debug_output.e
copy_raw	dynamic_chain.e $CLUSTER dynamic_chain.e 
copy_raw	dynamic_list.e $CLUSTER dynamic_list.e 
copy_raw	execution_environment.e $CLUSTER execution_environment.e 
copy_raw	file_comparer.e $CLUSTER file_comparer.e 
copy_raw	finite.e $CLUSTER finite.e 
copy_raw	hash_table.e $CLUSTER hash_table.e 
copy_raw	hash_table_cursor.e $CLUSTER hash_table_cursor.e 
copy_raw	indexable.e $CLUSTER indexable.e 
copy_raw	indexable_iteration_cursor.e $CLUSTER indexable_iteration_cursor.e 
copy_raw	infinite.e $CLUSTER infinite.e 
copy_raw	internal.e $CLUSTER internal.e 
copy_raw	iterable.e $CLUSTER iterable.e 
copy_raw	iteration_cursor.e $CLUSTER iteration_cursor.e 
copy_raw	linear.e $CLUSTER linear.e 
copy_raw	linked_list_cursor.e $CLUSTER linked_list_cursor.e 
copy_raw	list.e $CLUSTER list.e 
copy_raw	managed_pointer.e $CLUSTER managed_pointer.e
copy_raw	memory_structure.e $CLUSTER memory_structure.e
copy_raw	mismatch_information.e $CLUSTER mismatch_information.e
copy_raw	mismatch_corrector.e $CLUSTER mismatch_corrector.e
copy_raw	primes.e $CLUSTER primes.e 
copy_raw	process.e $CLUSTER process.e 
copy_raw	readable_indexable.e $CLUSTER readable_indexable.e 
copy_raw	reflector.e $CLUSTER reflector.e 
copy_raw	reflector_helper.e $CLUSTER reflector_helper.e 
copy_raw	reflector_constants.e $CLUSTER reflector_constants.e 
copy_raw	resizable.e $CLUSTER resizable.e 
copy_raw	set.e $CLUSTER set.e 
copy_raw	sequence.e $CLUSTER sequence.e 
copy_raw	system_execution.e $CLUSTER system_execution.e 
copy_raw	table.e $CLUSTER table.e 
copy_raw	test.e $CLUSTER test.e 
copy_raw	traversable.e $CLUSTER traversable.e 
copy_raw	unbounded.e $CLUSTER unbounded.e 
copy_raw	operating_environment.e $CLUSTER operating_environment.e 
copy_raw	ise_exception_manager.e $CLUSTER ise_exception_manager.e 
copy_raw	utf_converter.e $CLUSTER utf_converter.e 
copy_raw	exception.e $CLUSTER exception.e
compile_melted
compile_result 	 ok

delete		$CLUSTER finite.e
compile_melted
compile_result 	 validity_error BOUNDED VTCT ; SEQUENCE VTCT ; UNBOUNDED VTCT

copy_raw	finite.e $CLUSTER finite.e 
resume_compile
compile_result 	 ok

test_end