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

Contents of /trunk/eweasel/tests/store043/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 99262 - (show annotations)
Thu Oct 6 17:21:30 2016 UTC (3 years, 3 months ago) by manus
File size: 826 byte(s)
New test showing that storable is not handling changes in formal generic constraints

If you change a type to be constrained to A but then change it to B, it should raise a mismatch.

1 test_name storable-formal-generic-constraint-changed
2 test_description Trying to retrieve an object whose graph contains an instance of a generic class that has a different constraint on one of its formal generic parameter should fail but succeeds.
3
4 define CONSTRAINT "STRING_8"
5 copy_sub Ace $TEST Ace
6 copy_raw test.e $CLUSTER test.e
7 copy_raw test1.e $CLUSTER test1.e
8 copy_sub test2.e $CLUSTER test2.e
9 copy_sub storable_test.e $CLUSTER storable_test.e
10
11 compile_melted
12 compile_result ok
13
14 execute_work NONE exec_output1
15 execute_result ok
16 compare exec_output1 output
17
18 define CONSTRAINT "STRING_32"
19 copy_sub test2.e $CLUSTER test2.e
20 copy_sub storable_test.e $CLUSTER storable_test.e
21
22 compile_melted
23 compile_result ok
24
25 execute_work NONE exec_output2 not_storing
26 execute_result ok
27 compare exec_output2 output
28
29 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23