/tutorial/hello_world.e

http://github.com/tybor/Liberty · Specman e · 22 lines · 9 code · 3 blank · 10 comment · 0 complexity · f9d45b04b4e4c6f0f1a0de19b2b86a9c MD5 · raw file

  1. class HELLO_WORLD
  2. --
  3. -- The "Hello World" example.
  4. --
  5. -- To compile type command: se c hello_world
  6. --
  7. -- Then, run the generated executable file named "a.out" or "hello_world.exe"
  8. -- depending of your favorite operating system / C-compiler.
  9. --
  10. -- To compile an optimized version type : se c hello_world -boost -O2
  11. --
  12. create {ANY}
  13. main
  14. feature {ANY}
  15. main
  16. do
  17. io.put_string("Hello World.%N")
  18. end
  19. end -- class HELLO_WORLD