/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

  1. class TEST_WOJ01
  2. -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
  3. create {}
  4. make
  5. feature {ANY}
  6. make
  7. do
  8. create ref.make
  9. -- (1) Use refence types:
  10. def := ref
  11. def.set(-99)
  12. def := ref.twin
  13. -- (2) Use expanded types:
  14. create r_exp.set_item(exp)
  15. def.set(123)
  16. exp := exp.twin -- twin on a user expanded type !
  17. end
  18. def: AUX_WOJ01_DEF
  19. ref: AUX_WOJ01_REF
  20. exp: AUX_WOJ01_EXP
  21. r_exp: REFERENCE[AUX_WOJ01_EXP]
  22. end -- class TEST_WOJ01