/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
- class TEST_WOJ03
- -- To complete TEST_WOJ01 (D.Colnet):
- -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
- insert
- EIFFELTEST_TOOLS
- create {}
- make
- feature {ANY}
- make
- local
- string: STRING
- do
- create ref.make
- string := ref.s
- def := ref
- def.set(-99)
- assert(string /= ref.s)
- def := ref.twin
- assert(def /= ref)
- end
- def: AUX_WOJ01_DEF
- ref: AUX_WOJ01_REF
- end -- class TEST_WOJ03