/tutorial/triangle/version1/example2.e

http://github.com/tybor/Liberty · Specman e · 28 lines · 20 code · 3 blank · 5 comment · 0 complexity · 8f53afd74d90be6947847f22d9d37844 MD5 · raw file

  1. class EXAMPLE2
  2. -- Again, compile with: compile -sedb example1
  3. create {ANY}
  4. main
  5. feature {ANY}
  6. main
  7. local
  8. x, y, z: POINT; t: TRIANGLE
  9. do
  10. create x
  11. x.translate(1.0, 2.0)
  12. create y
  13. y.translate(3.0, 4.0)
  14. create z
  15. z.translate(5.0, 6.0)
  16. create t
  17. t.make(x, y, z)
  18. t.translate(1, 2)
  19. sedb_breakpoint
  20. -- Do not forget to do:
  21. -- short point
  22. -- and
  23. -- short triangle
  24. end
  25. end -- class EXAMPLE2