--| 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-vffd3-basic test_description Violate validity constraint VFFD3 with a class which has two redefinitions of an inherited feature copy_sub Ace $TEST Ace copy_raw test1.e $CLUSTER test1.e define FEATURE1 "try is do end" define FEATURE2 "try is do end" copy_sub test.e $CLUSTER test.e compile_melted compile_result validity_error TEST VMFN define FEATURE1 "try is do end" define FEATURE2 "try: BOOLEAN is do end" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE1 "try is do end" define FEATURE2 "try: REAL is -13" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE1 "a, try is do end" define FEATURE2 "b, try is do end" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE1 "try, a, try is do end" define FEATURE2 "" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN test_end