/tutorial/triangle/version2/example2.e

http://github.com/tybor/Liberty · Specman e · 23 lines · 16 code · 3 blank · 4 comment · 0 complexity · 8c143d33327727f48b66fc448bbc0827 MD5 · raw file

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