--| 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 non-conforming-inheritance-incrementality
test_description Testing non-conforming inheritance incrementality


copy_sub Ace $TEST Ace

copy_raw non_conforming_class.e $CLUSTER non_conforming_class.e

-- Test non-conformance

define CONFORMING_INHERITANCE_CLAUSE "inherit ANY"
define NON_CONFORMING_INHERITANCE_CLAUSE "inherit {NONE} NON_CONFORMING_CLASS"
copy_sub test.e $CLUSTER test.e

compile_melted
compile_result OK

execute_work NONE exec_output1
execute_result ok

compare exec_output1 nonconformance_output

-- Change inheritance to conformance

define CONFORMING_INHERITANCE_CLAUSE "inherit ANY NON_CONFORMING_CLASS"
define NON_CONFORMING_INHERITANCE_CLAUSE ""
copy_sub test.e $CLUSTER test.e

compile_melted
compile_result OK

execute_work NONE exec_output2
execute_result ok

compare exec_output2 conformance_output

-- Make inheritance implicit

define CONFORMING_INHERITANCE_CLAUSE ""
define NON_CONFORMING_INHERITANCE_CLAUSE ""
copy_sub test.e $CLUSTER test.e

compile_melted
compile_result OK

execute_work NONE exec_output2
execute_result ok

compare exec_output2 nonconformance_output

test_end