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

/test/language/unclassified/woj/test_woj02.e

http://github.com/tybor/Liberty
Specman e | 33 lines | 19 code | 8 blank | 6 comment | 0 complexity | ebb8e62482d52b64d83bb23658c26fd0 MD5 | raw file
 1class TEST_WOJ02
 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      do
14         -- (2) Use expanded types:
15         create r_exp.set_item(exp)
16         assert(r_exp /= Void)
17         --***       def := exp -- *** No more expanded into reference Dom Nov 18th 2004 ***
18         --***       assert(def /= Void)
19         --***       def.set(123)
20
21         exp.set(4)
22         assert(exp.n = 4)
23         exp := exp.twin -- twin on a user expanded type !
24         assert(exp.n = 4)
25      end
26
27   def: AUX_WOJ01_DEF
28
29   exp: AUX_WOJ01_EXP
30
31   r_exp: REFERENCE[AUX_WOJ01_EXP]
32
33end -- class TEST_WOJ02