/tutorial/triangle/version2/example1.e

http://github.com/tybor/Liberty · Specman e · 19 lines · 14 code · 3 blank · 2 comment · 0 complexity · 3d52a1509db4d779e831f3b5bdce2789 MD5 · raw file

  1. class EXAMPLE1
  2. -- Getting started with creation procedures.
  3. create {ANY}
  4. main
  5. feature {ANY}
  6. main
  7. local
  8. p1: POINT
  9. do
  10. create p1.make(1.0, 2.0)
  11. p1.translate(1.0, 2.0)
  12. -- Using make again on the very same POINT:
  13. p1.make(1.0, 2.0)
  14. sedb_breakpoint
  15. end
  16. end -- class EXAMPLE1