/test/examples/hello_world.e

http://github.com/tybor/Liberty · Specman e · 15 lines · 12 code · 3 blank · 0 comment · 0 complexity · db5e633e26f825c4333cc3cca7cbeb5b MD5 · raw file

  1. class HELLO_WORLD
  2. create {}
  3. make
  4. feature {}
  5. make
  6. do
  7. std_output.put_line("Hello, world!")
  8. debug
  9. std_output.put_line("Welcome to Liberty!")
  10. end
  11. end
  12. end