/[eiffelstudio]/trunk/eweasel/tests/store043/storable_test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/store043/storable_test.e

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: 388 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 class
2 STORABLE_TEST
3
4 create
5 make
6
7 feature
8
9 make
10 do
11 create {TEST2 [$CONSTRAINT]} a.make
12 end
13
14 a: TEST1
15
16 test
17 local
18 l_a: TEST1
19 do
20 create {TEST2 [$CONSTRAINT]} l_a.make
21 if a.generating_type /~ l_a.generating_type then
22 Io.put_string ("Not of the expected type, got " + a.generating_type.name + " but expected " + l_a.generating_type.name + "%N")
23 end
24 end
25
26 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23