/[eiffelstudio]/trunk/eweasel/tests/melt107/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/melt107/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 96025 - (show annotations)
Fri Oct 31 15:41:08 2014 UTC (5 years, 2 months ago) by manus
File size: 604 byte(s)
Added a new test showing that if we add a new type which forces the TYPE class to add a new generic derivation which will force the class to be melted then the melted code for {TYPE}.default is not valid in the case of a detachable reference type.

1 test_name type-invalid-in-melted-mode
2 test_description When the TYPE class is melted, calling `default' will actually raise an exception when none should be.
3
4 define NEW_TYPE ""
5 copy_sub Ace $TEST Ace
6 copy_sub test.e $CLUSTER test.e
7
8 compile_melted
9 compile_result ok
10
11 c_compile_work
12 c_compile_result ok
13
14 execute_work NONE exec_output_1
15 execute_result ok
16 compare exec_output_1 output
17
18 define NEW_TYPE "a: TEST1"
19 copy_sub test.e $CLUSTER test.e
20 copy_raw test1.e $CLUSTER test1.e
21
22 compile_melted
23 compile_result ok
24
25 execute_work NONE exec_output_2
26 execute_result ok
27 compare exec_output_2 output
28
29 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23