/test/language/unclassified/woj/test_woj01.e
http://github.com/tybor/Liberty · Specman e · 30 lines · 19 code · 8 blank · 3 comment · 0 complexity · 9fdbe72c20a8678947ef8087a474b113 MD5 · raw file
- class TEST_WOJ01
- -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
- create {}
- make
- feature {ANY}
- make
- do
- create ref.make
- -- (1) Use refence types:
- def := ref
- def.set(-99)
- def := ref.twin
- -- (2) Use expanded types:
- create r_exp.set_item(exp)
- def.set(123)
- exp := exp.twin -- twin on a user expanded type !
- end
- def: AUX_WOJ01_DEF
- ref: AUX_WOJ01_REF
- exp: AUX_WOJ01_EXP
- r_exp: REFERENCE[AUX_WOJ01_EXP]
- end -- class TEST_WOJ01