/test/language/unclassified/woj/test_woj03.e

 1class TEST_WOJ03
 2   -- To complete TEST_WOJ01 (D.Colnet):
 3   -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
 4
 5insert
 6   EIFFELTEST_TOOLS
 7
 8create {}
 9   make
10
11feature {ANY}
12   make
13      local
14         string: STRING
15      do
16         create ref.make
17         string := ref.s
18         def := ref
19         def.set(-99)
20         assert(string /= ref.s)
21         def := ref.twin
22         assert(def /= ref)
23      end
24
25   def: AUX_WOJ01_DEF
26
27   ref: AUX_WOJ01_REF
28
29end -- class TEST_WOJ03