/[eiffelstudio]/trunk/eweasel/tests/list012/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/list012/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 75121 - (show annotations)
Wed Oct 15 22:37:30 2008 UTC (11 years, 3 months ago) by manus
File size: 215 byte(s)
Added a new test showing an invariant violation when twining a SORTED_TWO_WAY_LIST because
  it used the version of {ANY}.copy which only copies the head of the list. So if after twining
  you modify the list then the invariant `last_element_constraint' is violated.

1
2 class TEST
3 create
4 make
5 feature
6 make is
7 local
8 list, l2: SORTED_TWO_WAY_LIST [STRING]
9 do
10 create list.make
11 list.extend ("TEST")
12
13 l2 := list.twin
14
15 l2.extend ("TOTO")
16
17 list.do_nothing
18 end
19
20 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23