/tutorial/triangle/version3/example1.e

http://github.com/tybor/Liberty · Specman e · 25 lines · 19 code · 6 blank · 0 comment · 0 complexity · 373d1a6e556333bf455b711a84ffbd60 MD5 · raw file

  1. class EXAMPLE1
  2. create {ANY}
  3. main
  4. feature {ANY}
  5. main
  6. local
  7. p1: POINT
  8. do
  9. create p1.make(1.0, 2.0)
  10. p1.translate(1.0, 2.0)
  11. p1.display
  12. io.put_string("[
  13. Also have a look at the new POINT interface. To do so,
  14. just type the following command in the current
  15. working directory:
  16. short point.e
  17. ]")
  18. end
  19. end -- class EXAMPLE1