PageRenderTime 8ms CodeModel.GetById 1ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

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

http://github.com/tybor/Liberty
Specman e | 29 lines | 21 code | 6 blank | 2 comment | 0 complexity | 9f06ef540b6cf6e97b4970f35da54ce9 MD5 | raw file
 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