1 |
|
2 |
--| Copyright (c) 1993-2006 University of Southern California and contributors. |
3 |
--| All rights reserved. |
4 |
--| Your use of this work is governed under the terms of the GNU General |
5 |
--| Public License version 2. |
6 |
|
7 |
-- This is a test control file |
8 |
|
9 |
test_name switch-parents-assertion-order |
10 |
test_description After initial compilation, the order of two parent classes in an inheritance clause is switched. After recompilation, alternate postconditions of an inherited routine should be evaluated in a different order, but they are not. |
11 |
|
12 |
copy_sub Ace $TEST Ace |
13 |
define PARENTS "TEST1; TEST2" |
14 |
copy_sub test.e $CLUSTER test.e |
15 |
copy_raw test1.e $CLUSTER test1.e |
16 |
copy_raw test2.e $CLUSTER test2.e |
17 |
copy_raw shared.e $CLUSTER shared.e |
18 |
compile_melted |
19 |
compile_result ok |
20 |
|
21 |
execute_work NONE exec_output1 |
22 |
execute_result ok |
23 |
compare exec_output1 output |
24 |
|
25 |
define PARENTS "TEST2; TEST1" |
26 |
copy_sub test.e $CLUSTER test.e |
27 |
compile_melted |
28 |
compile_result ok |
29 |
|
30 |
execute_work NONE exec_output2 |
31 |
execute_result ok |
32 |
compare exec_output2 output |
33 |
|
34 |
test_end |